✦ LIBER ✦

Verifying automata specification of distributed probabilistic real-time systems

✍ Scribed by Tiegeng Luo; Huowang Chen; Bingshan Wang; Ji Wang; Zhenghu Gong; Zhichang Qi

Publisher: Springer
Year: 1998
Tongue: English
Weight: 595 KB
Volume: 13
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02946502

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the verification of automata s

A note on the verification of automata specifications of probabilistic real-time systems

✍ Arnaldo V. Moura; Guilherme A. Pinto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 95 KB

Conformance Tests for Real-Time Systems

Conformance Tests for Real-Time Systems with Timed Automata Specifications

✍ Rachel Cardell-Oliver 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 174 KB

Verifying distributed real-time properti

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

✍ Gabor Madl; Sherif Abdelwahed; Douglas C. Schmidt 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 863 KB

Specification of Real-Time Systems in UM

Specification of Real-Time Systems in UML

✍ E.E. Roubtsova; J. van Katwijk; W.J. Toetenel; C. Pronk; R.C.M. de Rooij 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 161 KB

Specification of real-time imaging syste

Specification of real-time imaging systems using the UML

✍ Colin J Neill; Phillip A Laplante 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 337 KB

Real-time imaging systems are expected to perform at a rate set by the operating environment. This places additional temporal constraints on the implementation, and has led to advances in parallel processing and optimization. The constraints are also applied, however, to the analysis and design mode

Network conscious design of distributed

Network conscious design of distributed real-time systems

✍ Jung Woo Park; Young Shin Kim; Seongsoo Hong; Manas Saksena; Sam H. Noh; Wook Hy 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 702 KB