Synthesis of Fault-Tolerant Embedded Systems using Games: from Theory to Practice

Title:: Synthesis of Fault-Tolerant Embedded Systems using Games: from Theory to Practice
Author(s):: Cheng, Chih-Hong; Ruess, Harald; Buckl, Christian; Knoll, Alois
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
Fulltext / DOI:: doi:10.1007/978-3-642-18275-4_10
BibTeX

Occurrences: