Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and
Yazar
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown
View Other Search Results
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 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
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference