Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness

Title:: Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
Document type:: Konferenzbeitrag
Author(s):: Cheng, Chih-Hong; Buckl, Christian; Esparza, Javier; Knoll, Alois
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

Occurrences: