Login
- Titel:
FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Cheng, Chih-Hong; Buckl, Christian; Esparza, Javier; Knoll, Alois
- Jahr:
- 2009
- Volltext / DOI:
- doi:10.48550/ARXIV.0905.3946
- Verlag / Institution:
- arXiv
- Publikationsdatum:
- 01.01.2009
BibTeX