![](/img/cover-not-exists.png)
[IEEE 2011 22nd IEEE International Symposium on Rapid System Prototyping (RSP) - Karlsruhe, Germany (2011.05.24-2011.05.27)] 2011 22nd IEEE International Symposium on Rapid System Prototyping - Rapid property specification and checking for model-based formalisms
Balasubramanian, Daniel, Pap, Gabor, Nine, Harmon, Karsai, Gabor, Lowry, Michael, Pasareanu, Corina, Pressburger, TomYear:
2011
Language:
english
DOI:
10.1109/rsp.2011.5929985
File:
PDF, 2.09 MB
english, 2011