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

URL DOI BibTeX Zurück