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