✦ LIBER ✦

Timed state space analysis of real-time preemptive systems

✍ Scribed by Bucci, G.; Fedeli, A.; Sassoli, L.; Vicario, E.

Book ID: 117936604
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 740 KB
Volume: 30
Category: Article
ISSN: 0098-5589
DOI: 10.1109/tse.2004.1265815

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Correctness verification and performance

Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets

✍ Bucci, G.; Sassoli, L.; Vicario, E. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 774 KB

An efficient state space generation for

An efficient state space generation for the analysis of real-time systems

✍ Kang, I.; Lee, I.; Young-Si Kim 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 571 KB

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

Deterministic preemptive scheduling of r

Deterministic preemptive scheduling of real-time tasks

✍ Jackson, L.E.; Rouskas, G.N. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 260 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 || Real-Time Schedulin

Real-Time Systems || Real-Time Scheduling and Schedulability Analysis

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