Search
for Topics
All Reviews
Browse All Reviews
>
Software (D)
>
Operating Systems (D.4)
> Reliability (D.4.5)
Reliability (D.4.5)
See Reviews
Subject Descriptors:
Backup Procedures
(13)
Checkpoint/Restart
(16)
Fault-Tolerance
(107)
Verification
(28)
Proper Nouns:
There are no proper nouns with reviews under D.4.5.
Reviews limited to:
All General Terms
Algorithms
Design
Documentation
Economics
Experimentation
Human factors
Languages
Legal Aspects
Management
Measurement
Performance
Reliability
Security
Standardization
Theory
Verification
Reviews about "
Reliability (D.4.5)
":
Date Reviewed
Formal verification of control system software
Garoche P., PRINCETON UNIVERSITY PRESS, Princeton, NJ, 2019. 224 pp. Type: Book (978-0-691181-30-1)
May 10 2021
Spectrum-based fault localization in model transformations
Troya J., Segura S., Parejo J., Ruiz-Cortés A. ACM Transactions on Software Engineering and Methodology 27(3): 1-50, 2018. Type: Article
Jan 31 2019
ARMISCOM: self-healing service composition
Vizcarrondo J., Aguilar J., Exposito E., Subias A. Service Oriented Computing and Applications 11(3): 345-365, 2017. Type: Article
Jan 4 2018
Beyond subterm-convergent equational theories in automated verification of stateful protocols
Dreier J., Duménil C., Kremer S., Sasse R. POST 2017 (Proceedings of the 6th International Conference on Principles of Security and Trust, Uppsala, Sweden, Apr 22-29, 2017) 117-140, 2017. Type: Proceedings
Oct 26 2017
Embedded software verification and debugging
Lettnin D., Winterholer M., Springer International Publishing, New York, NY, 2017. Type: Book (9781461422655)
Jul 26 2017
Fault tolerance with aspects: a feasibility study
Karol S., Rink N., Gyapjas B., Castrillon J. MODULARITY 2016 (Proceedings of the 15th International Conference on Modularity, Málaga, Spain, Mar 14-17, 2016) 66-69, 2016. Type: Proceedings
Nov 29 2016
Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes
Akinyele J., Green M., Hohenberger S., Pagano M. Journal of Computer Security 22(6): 867-912, 2014. Type: Article
Aug 20 2015
more...
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy
