User: Guest  Login
Author(s):
Cheng, Chih-Hong; Ruess, Harald; Buckl, Christian; Knoll, Alois 
Title:
Synthesis of Fault-Tolerant Embedded Systems using Games: from Theory to Practice 
Keywords:
embedded 
Book / Congress title:
Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'11) 
Publisher:
Springer 
Year:
2011 
Bookseries title:
LNCS