19 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Dixit, Uday S. editor.
Format:
Electronic Resources
Alıntı:
System safety.
Yazar
García-Alcaraz, Jorge Luis. editor. (orcid)0000-0002-7092-6963
Format:
Electronic Resources
Alıntı:
System safety.
View Other Search Results
Yazar
Borghetti, Fabio. author.
Format:
Electronic Resources
Alıntı:
System safety.
Yazar
Bernardini, Gabriele. author.
Format:
Electronic Resources
Alıntı:
System safety.
Yazar
Setola, Roberto. editor.
Format:
Electronic Resources
Alıntı:
System safety.
Yazar
Collart-Dutilleul, Simon. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
7.
Yazar
Singh, Sanjay. editor.
Format:
Electronic Resources
Alıntı:
, Manufacturing and Air Safety and (vi) Aircraft Environmental and Control System and Stability, making it easy
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam
Yazar
Mendizabal, Jaizki. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast
19 sonuç bulundu