Yazar
Collart-Dutilleul, Simon. 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
View Other Search Results
Yazar
Fantechi, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France
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
Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim
Yazar
Koornneef, Floor. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast
Yazar
Falcone, Yliès. editor.
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation.
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
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ış: