𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Timed Automata Model for Component-Based Real-Time Systems

✍ Scribed by Macariu, Georgiana; Cretu, Vladimir

Book ID: 120274582
Publisher: IEEE
Year: 2010
Weight: 356 KB
Category: Article
ISBN: 1424465370
DOI: 10.1109/ECBS.2010.20

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 17th IEEE International Confe

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Formalizing MapReduce with CSP

✍ Yang, Fan; Su, Wen; Zhu, Huibiao; Li, Qin 📂 Article 📅 2010 🏛 IEEE ⚖ 504 KB

[IEEE 2010 17th IEEE International Confe

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Guiding Architectural Restructuring through Architectural Styles

✍ Tamzalit, Dalila; Mens, Tom 📂 Article 📅 2010 🏛 IEEE ⚖ 859 KB

[IEEE 2010 17th IEEE International Confe

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - A Non-numerical Predictive Model for Asymmetric Analysis

✍ Valenzuela, Michael L.; Feng, Chuan; Reddy, Praneel; Momen, Faisal; Rozenblit, J 📂 Article 📅 2010 🏛 IEEE ⚖ 688 KB

[IEEE 2010 17th IEEE International Confe

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Using UML Models and Formal Verification in Model-Based Testing

✍ Malik, Qaisar A.; Truscan, Dragos; Lilius, Johan 📂 Article 📅 2010 🏛 IEEE ⚖ 555 KB

[IEEE 2010 17th IEEE International Confe

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Towards an Architectural Framework for Agile Software Development

✍ Mordinyi, Richard; Kühn, Eva; Schatten, Alexander 📂 Article 📅 2010 🏛 IEEE ⚖ 221 KB

[IEEE 2010 17th IEEE International Confe

[IEEE 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - Oxford, England (2010.03.22-2010.03.26)] 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems - CPASA: Continuous Performance Assessment of Software Architecture

✍ Pooley, R. J.; Abdullatif, A. A. L. 📂 Article 📅 2010 🏛 IEEE ⚖ 409 KB