𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Adaptive Testing of Nondeterministic Systems with FSM

✍ Scribed by Petrenko, Alexandre; Yevtushenko, Nina

Book ID: 124151690
Publisher: IEEE
Year: 2014
Weight: 189 KB
Category: Article
ISBN: 1479934658
DOI: 10.1109/HASE.2014.39

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2014 IEEE 15th International Sympo

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Inferring Approximated Models for Systems Engineering

✍ Petrenko, Alexandre; Li, Keqin; Groz, Roland; Hossen, Karim; Oriat, Catherine 📂 Article 📅 2014 🏛 IEEE ⚖ 263 KB

[IEEE 2014 IEEE 15th International Sympo

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Testing of Memory Leak in Android Applications

✍ Shahriar, Hossain; North, Sarah; Mawangi, Edward 📂 Article 📅 2014 🏛 IEEE ⚖ 208 KB

[IEEE 2014 IEEE 15th International Sympo

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Recommender Systems for Privacy Management: A Framework

✍ Rasmussen, Curtis; Dara, Rozita 📂 Article 📅 2014 🏛 IEEE ⚖ 206 KB

[IEEE 2014 IEEE 15th International Sympo

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Fail-Safe Test Generation in Safety Critical Systems

✍ Andrews, Anneliese; Elakeili, Salwa; Boukhris, Salah 📂 Article 📅 2014 🏛 IEEE ⚖ 314 KB

[IEEE 2014 IEEE 15th International Sympo

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - Clicksafe: Providing Security against Clickjacking Attacks

✍ Shamsi, Jawwad A.; Hameed, Sufian; Rahman, Waleed; Zuberi, Farooq; Altaf, Kaiser 📂 Article 📅 2014 🏛 IEEE ⚖ 184 KB

[IEEE 2014 IEEE 15th International Sympo

[IEEE 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering (HASE) - Miami Beach, FL, USA (2014.01.9-2014.01.11)] 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering - A Model-Based Intrusion Detection System for Smart Meters

✍ Tabrizi, Farid Molazem; Pattabiraman, Karthik 📂 Article 📅 2014 🏛 IEEE ⚖ 239 KB