Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim
Yazar
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 36th International Conference, SAFECOMP 2017, Trento
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
Tonetta, Stefano. editor. (orcid)0000-0001-9091-7899
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR
Yazar
Collart-Dutilleul, Simon. editor.
Format:
Electronic Resources
Alıntı:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and
Yazar
Buhr, Peter A. author.
Format:
Electronic Resources
Alıntı:
Computer software -- Reusability.
Yazar
Shen, Xipeng. editor.
Format:
Electronic Resources
Alıntı:
reliability.
Yazar
Duan, Zhenhua. editor.
Format:
Electronic Resources
Alıntı:
security -- Software reliability.
Yazar
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
Format:
Electronic Resources
Alıntı:
, microservices, software reliability, model checking and simulation. The papers are edited and extended versions
Yazar
Lahiri, Shuvendu. editor.
Format:
Electronic Resources
Alıntı:
are lightweight techniques to assess correctness, reliability, and robustness; these techniques are
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Infrastructure Reliability Analysis of Railway Station Areas -- Multiple Analyses, Requirements Once: simplifying
Yazar
Yokota, Rio. editor. (orcid)0000-0001-7573-7873
Format:
Electronic Resources
Alıntı:
software, and applications; solutions for heterogeneity, reliability, power efficiency of systems
Arama Sonuçlarını Sınırlandır
Daraltılmış: