Login
- Title:
Model Construction and Priority Synthesis for Simple Interaction Systems
- Author(s):
- Cheng, Chih-Hong; Bensalem, Saddek; Jobstmann, Barbara; Yan, Rongjie; Knoll, Alois; Ruess, Harald
- Keywords:
- embedded
- Book / Congress title:
- Proceedings of the 3rd NASA Formal Methods Symposium (NFM'11)
- Publisher:
- Springer-Verlag
- Year:
- 2011
- Bookseries title:
- LNCS
- Fulltext / DOI:
- doi:10.1007/978-3-642-20398-5_34
BibTeX