Rapid property specification and checking for model-based formalisms.
Daniel Balasubramanian, Gbor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger
VenueCRSP
Year2011
ProceedingsInternational Symposium on Rapid System Prototyping
DBLP recordconf/rsp/BalasubramanianPNKLPP11 ↗
Browse the full RSP paper archive.