𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Tucson, AZ, USA (2007.03.26-2007.03.29)] 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams

✍ Scribed by Jarraya, Yosr; Soeanu, Andrei; Debbabi, Mourad; Hassaine, Fawzi

Book ID: 125467166
Publisher: IEEE
Year: 2007
Tongue: English
Weight: 178 KB
Category: Article
ISBN-13: 9780769527727
DOI: 10.1109/ecbs.2007.22

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 14th Annual IEEE International Con

[IEEE 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Tucson, AZ, USA (2007.03.26-2007.03.29)] 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Model-Based Cyber Security

✍ Rasche, Galen; Allwein, Erin; Moore, Michael; Abbott, Ben 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 353 KB

[IEEE 14th Annual IEEE International Con

[IEEE 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Tucson, AZ, USA (2007.03.26-2007.03.29)] 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - COTS Selection: Past, Present, and Future

✍ Mohamed, Abdallah; Ruhe, Guenther; Eberlein, Armin 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 322 KB

[IEEE 14th Annual IEEE International Con

[IEEE 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Tucson, AZ, USA (2007.03.26-2007.03.29)] 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Ontological Traceability over the Unified Process

✍ Noll, Rodrigo Perozzo; Ribeiro, Marcelo Blois 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 540 KB

[IEEE 14th Annual IEEE International Con

[IEEE 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Tucson, AZ, USA (2007.03.26-2007.03.29)] 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - A Statistical Approach to Model-Based Robustness Testing

✍ Popovic, Miroslav; Kovacevic, Jelena 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 246 KB

[IEEE 14th Annual IEEE International Con

[IEEE 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Tucson, AZ, USA (2007.03.26-2007.03.29)] 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07) - Methods of Sensors Localization in Wireless Sensor Networks

✍ Chaczko, Zenon; Klempous, Ryszard; Nikodem, Jan; Nikodem, Michal 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 282 KB

[IEEE 12th IEEE International Conference

[IEEE 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - Greenbelt, MD, USA (04-07 April 2005)] 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) - A Generic Model-Based Test Case Generator

✍ Popovic, M.; Velikic, I. 📂 Article 📅 2005 🏛 IEEE ⚖ 260 KB