✦ LIBER ✦

Static analysis of real-time component-based systems configurations

✍ Scribed by Candida Attanasio; Flavio Corradini; Paola Inverardi

Book ID: 108410783
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 218 KB
Volume: 46
Category: Article
ISSN: 0167-6423
DOI: 10.1016/s0167-6423(02)00085-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Similarity-based load adjustment for sta

✍ Tei-Wei Kuo; Shao-Juen Ho 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 547 KB

Component-based software engineering for

Component-based software engineering for distributed embedded real-time systems

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

Time-budgeting: a component based develo

Time-budgeting: a component based development methodology for real-time embedded systems

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

Component-based system design: analytic

Component-based system design: analytic real-time interfaces for state-based component implementations

✍ Kai Lampka, Simon Perathoner, Lothar Thiele 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 891 KB

Real-Time Systems || Timing Analysis of

Real-Time Systems || Timing Analysis of Predicate-Logic Rule-Based Systems

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

Static Security Optimization for Real-Ti

Static Security Optimization for Real-Time Systems

✍ Lin, Man; Xu, Li; Yang, Laurence T.; Qin, Xiao; Zheng, Nenggan; Wu, Zhaohui; Qiu 📂 Article 📅 2009 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 961 KB