Login
- Document type:
- Konferenzbeitrag
- Author(s):
- Cheng, Chih-Hong; Buckl, Christian; Esparza, Javier; Knoll, Alois
- Title:
- Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
- Book / Congress title:
- 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications
- Publisher:
- IEEE
- Date of publication:
- 01.01.2009
- Year:
- 2009
- Print-ISBN:
- 9780769538686
- Fulltext / DOI:
- doi:10.1109/ds-rt.2009.20
BibTeX