User: Guest  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: