✦ LIBER ✦

Specification and analysis of real-time systems with PARAGON

✍ Scribed by Oleg Sokolsky; Insup Lee; Hanêne Ben-Abdallah

Book ID: 110379799
Publisher: Springer
Year: 1999
Tongue: English
Weight: 278 KB
Volume: 7
Category: Article
ISSN: 1022-7091
DOI: 10.1023/a:1018938205540

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specification and Timing Analysis of Rea

Specification and Timing Analysis of Real-Time Systems

✍ Shuhua Wang; Grace Tsai 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 513 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

Real-time system specifications and thei

Real-time system specifications and their automatic analysis

✍ W.J. Quirk 📂 Article 📅 1980 🏛 Elsevier Science ⚖ 552 KB

Real-Time Systems || Analysis and Verifi

Real-Time Systems || Analysis and Verification of Non-Real-Time Systems

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 279 KB 👁 2 views

Real-Time Systems Design and Analysis (L

Real-Time Systems Design and Analysis (Laplante/Real-Time Systems Design) || Real-Time Operating Systems

✍ Laplante, Phillip A. 📂 Article 📅 2004 🏛 John Wiley & Sons, Inc. 🌐 English ⚖ 671 KB

The leading guide to real-time systems design-revised and updated This third edition of Phillip Laplante's bestselling, practical guide to building real-time systems maintains its predecessors' unique holistic, systems-based approach devised to help engineers write problem-solving software. Dr. Lap

Verifying automata specification of dist

Verifying automata specification of distributed probabilistic real-time systems

✍ Tiegeng Luo; Huowang Chen; Bingshan Wang; Ji Wang; Zhenghu Gong; Zhichang Qi 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 595 KB