✦ LIBER ✦

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 3829 || Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams

✍ Scribed by Pettersson, Paul; Yi, Wang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form

✍ Pettersson, Paul; Yi, Wang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 437 KB

[Lecture Notes in Computer Science] Form

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 309 KB

[Lecture Notes in Computer Science] Form

✍ Jonsson, Bengt; Parrow, Joachim 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 983 KB

[Lecture Notes in Computer Science] Form

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 453 KB

[Lecture Notes in Computer Science] Form

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 262 KB

[Lecture Notes in Computer Science] Form

✍ Chatterjee, Krishnendu; Henzinger, Thomas A. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 278 KB