✦ LIBER ✦

Modeling Complex Real-Time and Embedded Systems—The UML and DORIS Combination

✍ Scribed by M. E. C. Hull; S. Ewart; J. R. P. Hanna

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface of “Specification and Validation

✍ Susanne Graf; Oystein Haugen; Ileana Ober; Bran Selic 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 155 KB

Modeling and analysis of scheduling for

✍ Hai-Tao Zhang; Gui-Fang Wu 📂 Article 📅 2010 🏛 Institute of Automation, Chinese Academy of Scienc 🌐 English ⚖ 392 KB

A general time model for the specificati

✍ Ralf Münzenberger; Matthias Dörfel; Richard Hofmann; Frank Slomka 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 704 KB

Analysis and optimisation of heterogeneo

✍ Pop, P.; Eles, P.; Peng, Z. 📂 Article 📅 2005 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 730 KB

Verifying distributed real-time properti

✍ Gabor Madl; Sherif Abdelwahed; Douglas C. Schmidt 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 863 KB

[IEEE 11th IEEE International Conference

✍ Yu Hu, ; Qing Li, ; Kuo, C.-C.J. 📂 Article 📅 2005 🏛 IEEE ⚖ 168 KB