𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Interactive Verification of Safety-Critical Software

✍ Scribed by Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa

Book ID: 121790703
Publisher: IEEE
Year: 2013
Weight: 393 KB
Category: Article
ISBN: 0769549861
DOI: 10.1109/COMPSAC.2013.86

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 IEEE 37th Annual Computer Sof

[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Evaluation of Ontology-Based Checking of Software Requirements Specification

✍ Dzung, Dang Viet; Ohnishi, Atsushi 📂 Article 📅 2013 🏛 IEEE ⚖ 261 KB

[IEEE 2013 IEEE 37th Annual Computer Sof

[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Evaluation of Software Architectures Reliability Based on Hypergraph Grammar

✍ Li, Xu; Huang, Linpeng 📂 Article 📅 2013 🏛 IEEE ⚖ 162 KB

[IEEE 2013 IEEE 37th Annual Computer Sof

[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Big Data -- Opportunities and Challenges Panel Position Paper

✍ Bertino, Elisa 📂 Article 📅 2013 🏛 IEEE ⚖ 120 KB

[IEEE 2013 IEEE 37th Annual Computer Sof

[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - SQAF-DS: A Software Quality Assessment Framework for Dependable Systems

✍ Yoo, Junbeom; Yoon, Sanghyun 📂 Article 📅 2013 🏛 IEEE ⚖ 217 KB

[IEEE 2013 IEEE 37th Annual Computer Sof

[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Formalising Middleware Systems: A Design Pattern-Based Approach

✍ Rosa, Nelson Souto 📂 Article 📅 2013 🏛 IEEE ⚖ 442 KB

[IEEE 2013 IEEE 37th Annual Computer Sof

[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Data Management and User Interface for a Call for Paper Manager

✍ Issertial, Laurent; Tsuji, Hiroshi 📂 Article 📅 2013 🏛 IEEE ⚖ 353 KB