Model Construction and Priority Synthesis for Simple Interaction Systems
Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll und Harald Rueß
NASA Formal Methods - Third International Symposium, NFM 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings,
pp. 466–471
2011
· DOI:10.1007/978-3-642-20398-5_34
Url:http://dx.doi.org/10.1007/978-3-642-20398-5_34