Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and
Yazar
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering
Arama Sonuçlarını Sınırlandır
Daraltılmış: