Yazar
Bondavalli, Andrea. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence
Yazar
Koornneef, Floor. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI
View Other Search Results
Yazar
Pelc, Andrzej. editor.
Format:
Electronic Resources
Alıntı:
Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015
Yazar
Bondavalli, Andrea. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
Yazar
Amyot, Daniel. editor.
Format:
Electronic Resources
Alıntı:
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014
Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and
Yazar
Fantechi, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown
Yazar
de la Puente, Juan Antonio. editor.
Format:
Electronic Resources
Alıntı:
Special Purpose and Application-Based Systems.
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France
Arama Sonuçlarını Sınırlandır
Daraltılmış: