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

Titel:: Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
Autor(en):: Cheng, Chih-Hong; Buckl, Christian; Esparza, Javier; AloisKnoll
Stichworte:: embedded
Kongress- / Buchtitel:: Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT'09)
Verlag / Institution:: IEEE
Jahr:: 2009
Seiten:: 208--215
Volltext / DOI:: doi:10.1109/DS-RT.2009.20
BibTeX

Vorkommen: