12 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim
Yazar
Koornneef, Floor. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The
View Other Search Results
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
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Infrastructure Reliability Analysis of Railway Station Areas -- Multiple Analyses, Requirements Once: simplifying
Yazar
Amyot, Daniel. editor.
Format:
Electronic Resources
Alıntı:
System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014
Yazar
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
Format:
Electronic Resources
Alıntı:
verification techniques are lightweight techniques to assess system correctness, reliability, and robustness
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving Judgment Reliability in Social
Yazar
Falcone, Yliès. editor.
Format:
Electronic Resources
Alıntı:
Reliability -- Predicting Space Requirements for a Stream Monitor Specification Language -- A Stream-based
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Reliability Analysis of Evolving Structured Workflows -- Prototype-Driven Development of Web Applications with
Yazar
Träff, Jesper Larsson. editor.
Format:
Electronic Resources
Alıntı:
Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A
12 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: