14 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Platzer, André. author.
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
View Other Search Results
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and
Yazar
de la Puente, Juan Antonio. editor.
Format:
Electronic Resources
Alıntı:
Special Purpose and Application-Based Systems.
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
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks.
Yazar
O’Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 6th International Workshop, FTSCS 2018, Gold Coast
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Systems Organization and Communication Networks.
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
-- Implementing Tableau Calculi Using BDDs: BDDTab System Description -- Approximations for Model Construction
14 sonuç bulundu