✦ LIBER ✦

Real-Time Systems || Model Checking of Finite-State Systems

✍ Scribed by Cheng, Albert M. K.

Publisher: John Wiley & Sons, Inc.
Year: 2002
Weight: 259 KB
Category: Article
ISBN-13: 9780471224624
DOI: 10.1002/0471224626.ch4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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 || Optimization of Rul

Real-Time Systems || Optimization of Rule-Based Systems

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

A Fault-Tolerance Model for Multiprocess

A Fault-Tolerance Model for Multiprocessor Real-Time Systems

✍ Sheng-Tzong Cheng; Chia-Mei Chen; Satish K. Tripathi 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 298 KB

System reliability is an important aspect of real-time systems, because the result of a real-time application may be valid only if the application functions correctly and its timing constraints are satisfied. There are two kinds of faults, hardware and software faults, and the paper considers hardwa

Dependability modeling of real-time syst

Dependability modeling of real-time systems using stochastic reward nets

✍ Cristian Constantinescu; Kishor Trivedi 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 489 KB

A model for a hard real time system exec

A model for a hard real time system executive

✍ V Gafni 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 725 KB

Real-Time Systems || Timing Analysis of

Real-Time Systems || Timing Analysis of Predicate-Logic Rule-Based Systems

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