𝔖 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 - Using UML Models and Formal Verification in Model-Based Testing

✍ Scribed by Malik, Qaisar A.; Truscan, Dragos; Lilius, Johan

Book ID: 120443984
Publisher: IEEE
Year: 2010
Weight: 555 KB
Category: Article
ISBN: 1424465370
DOI: 10.1109/ECBS.2010.13

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 - Model-Based Testing Using System vs. Test Models - What Is the Difference?

✍ Malik, Qaisar A.; Jääskeläinen, Antti; Virtanen, Heikki; Katara, Mika; Abbors, F 📂 Article 📅 2010 🏛 IEEE ⚖ 614 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 - UAV Search: Maximizing Target Acquisition

✍ Al-Helal, Hussain; Sprinkle, Jonathan 📂 Article 📅 2010 🏛 IEEE ⚖ 921 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 - Timed Automata Model for Component-Based Real-Time Systems

✍ Macariu, Georgiana; Cretu, Vladimir 📂 Article 📅 2010 🏛 IEEE ⚖ 356 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