Model Construction and Priority Synthesis for Simple Interaction Systems

Titel:: Model Construction and Priority Synthesis for Simple Interaction Systems
Autor(en):: Cheng, Chih-Hong; Bensalem, Saddek; Jobstmann, Barbara; Yan, Rongjie; Knoll, Alois; Ruess, Harald
Stichworte:: embedded
Kongress- / Buchtitel:: Proceedings of the 3rd NASA Formal Methods Symposium (NFM'11)
Verlag / Institution:: Springer-Verlag
Jahr:: 2011
Serientitel:: LNCS
Volltext / DOI:: doi:10.1007/978-3-642-20398-5_34
BibTeX

Vorkommen: