Yazar
Collart-Dutilleul, Simon. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
Yazar
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
Format:
Electronic Resources
Alıntı:
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September
View Other Search Results
Yazar
Felber, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014
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
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Arama Sonuçlarını Sınırlandır
Daraltılmış: