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

Author(s):: Cheng, Chih-Hong; Buckl, Christian; Esparza, Javier; AloisKnoll
Title:: Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
Keywords:: embedded
Book / Congress title:: Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT'09)
Publisher:: IEEE
Year:: 2009
Pages:: 208--215
Fulltext / DOI:: doi:10.1109/DS-RT.2009.20
BibTeX

Occurrences: