Login
- Titel:
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Cheng, Chih-Hong; Buckl, Christian; Esparza, Javier; Knoll, Alois
- Kongress- / Buchtitel:
- 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
- Verlag / Institution:
- IEEE
- Publikationsdatum:
- 01.01.2009
- Jahr:
- 2009
- Print-ISBN:
- 9780769538686
- Volltext / DOI:
- doi:10.1109/ds-rt.2009.20
BibTeX