✦ LIBER ✦

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

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Reachability analysis of real-time syste

✍ Wang, J.; Deng, Y.; Xu, G. 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 285 KB

Compositional schedulability analysis of

✍ Dianxiang Xu; Xudong He; Yi Deng 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 452 KB

Modeling and Analysis of Real-Time Coope

✍ Yu Yue Du; Chang Jun Jiang; Meng Chu Zhou 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 358 KB

Modelling and verification of real-time

✍ F. Arendt; B. Klühe 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 695 KB

Performance analysis of stochastic timed

✍ Zhen Liu 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 409 KB

Real-time scheduling of batch systems us

✍ Michel dos Santos Soares; Stéphane Julia; Jos Vrancken 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 502 KB