✦ LIBER ✦

SaveCCM: An Analysable Component Model for Real-Time Systems

✍ Scribed by Jan Carlson; John Håkansson; Paul Pettersson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient Cache Designs for Probabilisti

✍ Kosmidis, Leonidas; Abella, Jaume; Quinones, Eduardo; Cazorla, Francisco J. 📂 Article 📅 2014 🏛 IEEE 🌐 English ⚖ 706 KB

Temporal reasoning component for real-ti

✍ A. P. Eremeev; I. E. Kurilenko 📂 Article 📅 2011 🏛 Allerton Press Inc 🌐 English ⚖ 317 KB

Component-based software engineering for

✍ Rastofer, U.; Bellosa, F. 📂 Article 📅 2001 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 520 KB

Time-budgeting: a component based develo

✍ Manoj G. Dixit, S. Ramesh, Pallab Dasgupta 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 972 KB

TAM: Temporal agent model for real-time

✍ D. Scholefield; H. Zedan 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 588 KB

Real-time adaptation for model errors in

✍ Martin Salzmann 📂 Article 📅 1995 🏛 Springer-Verlag 🌐 English ⚖ 1015 KB