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

Titel:: Synthesis of Fault-Tolerant Embedded Systems using Games: from Theory to Practice
Autor(en):: Cheng, Chih-Hong; Ruess, Harald; Buckl, Christian; Knoll, Alois
Stichworte:: embedded
Kongress- / Buchtitel:: Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'11)
Verlag / Institution:: Springer
Jahr:: 2011
Serientitel:: LNCS
Volltext / DOI:: doi:10.1007/978-3-642-18275-4_10
BibTeX

Vorkommen: