Yazar
Bogdan, Cristian. editor.
Format:
Electronic Resources
Alıntı:
International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August
Yazar
Collart-Dutilleul, Simon. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
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
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
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast
Yazar
Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. https://scigraph.springernature.com/ontologies/product-market
Arama Sonuçlarını Sınırlandır
Daraltılmış: