𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case

✍ Scribed by Bannour, Boutheina; Gaston, Christophe; Lapitre, Arnault; Escobedo, Jose Pablo

Book ID: 121880365
Publisher: IEEE
Year: 2012
Weight: 316 KB
Category: Article
ISBN: 0769549128
DOI: 10.1109/HASE.2012.18

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Model Checking Software Architecture Design

✍ Zhang, Jiexin; Liu, Yang; Sun, Jing; Dong, Jin Song; Sun, Jun 📂 Article 📅 2012 🏛 IEEE ⚖ 307 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Exception Handling Defects: An Empirical Study

✍ Sawadpong, Puntitra; Allen, Edward B.; Williams, Byron J. 📂 Article 📅 2012 🏛 IEEE ⚖ 332 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Communication Efficient Oblivious Transfer Using Elliptic Curves

✍ Parakh, Abhishek 📂 Article 📅 2012 🏛 IEEE ⚖ 137 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Device Mechanism: A Structured Device Driver Development Approach

✍ Silva, Raul Schmidlin Fajardo; Marcus, Guillermo 📂 Article 📅 2012 🏛 IEEE ⚖ 247 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - An Autonomic Reliability Improvement System for Cyber-Physical Systems

✍ Wu, Leon; Kaiser, Gail 📂 Article 📅 2012 🏛 IEEE ⚖ 520 KB

[IEEE 2012 IEEE 14th International Sympo

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Towards Reliable Smart Microgrid Behavior Using Runtime Model Synthesis

✍ Allison, Mark; Morris, Karl A.; Yang, Zhenyu; Clarke, Peter J.; Costa, Fabio M. 📂 Article 📅 2012 🏛 IEEE ⚖ 712 KB