✦ LIBER ✦

Checking timed automata for linear duration properties

✍ Scribed by Jianhua Zhao; Van Hung Dang

Publisher: Springer
Year: 2000
Tongue: English
Weight: 488 KB
Volume: 15
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02950405

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Checking Temporal Duration Properties of

Checking Temporal Duration Properties of timed automata

✍ Yong Li; Hung Van Dang 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 748 KB

Tableau-based automata construction for

Tableau-based automata construction for dynamic linear time temporal logic*

✍ Laura Giordano; Alberto Martelli 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 450 KB

Checking the linear transformation model

Checking the linear transformation model for clustered failure time observations

✍ Satoshi Hattori 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 303 KB

A linear time algorithm to check for the

A linear time algorithm to check for the existence of a rectangular dual of a planar triangulated graph

✍ Jayaram Bhasker; Sartaj Sahni 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 488 KB

Periodic-polynomial interpretation for s

Periodic-polynomial interpretation for structural properties of linear periodic discrete-time systems

✍ Yamina El Mrabet; Henri Bourlès 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 122 KB

The structural properties of linear periodic discrete-time systems are analyzed in the periodic polynomial representation. It is shown that the classical polynomial approach for linear time-invariant systems can be extended to periodic systems. New deÿnitions and properties are given in terms of ske

Conservation properties of a time FE met

Conservation properties of a time FE method—part II: Time-stepping schemes for non-linear elastodynamics

✍ P. Betsch; P. Steinmann 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 204 KB