- Title:
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Cheng, Chih-Hong; Buckl, Christian; Esparza, Javier; Knoll, Alois
- Year:
- 2009
- Fulltext / DOI:
- doi:10.48550/ARXIV.0905.3946
- Publisher:
- arXiv
- Date of publication:
- 01.01.2009
- BibTeX