Yazar
Bondavalli, Andrea. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence
Yazar
Bondavalli, Andrea. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE
View Other Search Results
Yazar
Amyot, Daniel. editor.
Format:
Electronic Resources
Alıntı:
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown
Yazar
Felber, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
-- Implementing Tableau Calculi Using BDDs: BDDTab System Description -- Approximations for Model Construction
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based
Arama Sonuçlarını Sınırlandır
Daraltılmış: