Yazar
Aumasson, Jean-Philippe. 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
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
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
Vitek, Jan. editor.
Format:
Electronic Resources
Alıntı:
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part
Yazar
Falcone, Yliès. editor.
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation.
Yazar
Alani, Mohammed M. editor.
Format:
Electronic Resources
Alıntı:
Information storage and retrieval systems.
Yazar
Geffert, Viliam. editor.
Format:
Electronic Resources
Alıntı:
Establishment of an Information Security Management System Compliant to ISO 27001 -- ProofBook: An Online Social
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference
Yazar
Yu, Haibin. editor.
Format:
Electronic Resources
Alıntı:
Special Purpose and Application-Based Systems. https://scigraph.springernature.com/ontologies
Arama Sonuçlarını Sınırlandır
Daraltılmış: