Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim
Yazar
Bondavalli, Andrea. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 33rd International Conference, SAFECOMP 2014, Florence
View Other Search Results
Yazar
Koornneef, Floor. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The
Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and
Yazar
Koornneef, Floor. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI
Yazar
Bondavalli, Andrea. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
Yazar
Collart-Dutilleul, Simon. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
Yazar
Xu, Dachuan. editor.
Format:
Electronic Resources
Alıntı:
; computational learning theory; cryptography, reliability and security; database theory, computational biology
Yazar
Zamani, Majid. editor.
Format:
Electronic Resources
Alıntı:
techniques for the reasoning about programmability and reliability.
Yazar
Jürgensen, Helmut. editor.
Format:
Electronic Resources
Alıntı:
., software reliability, software and hardware testing, modeling of natural languages) -- Nature-motivated
Yazar
Berstel-Da Silva, Bruno. author.
Format:
Electronic Resources
Alıntı:
concern is the quality, safety, and reliability of the resulting programs. This book is on business rules
Arama Sonuçlarını Sınırlandır
Daraltılmış: