Amanote Research
Register
Sign In
Rapid Property Specification and Checking for Model-Based Formalisms
doi 10.1109/rsp.2011.5929985
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2011
Authors
Daniel Balasubramanian
Gabor Pap
Harmon Nine
Gabor Karsai
Michael Lowry
Corina Pasareanu
Tom Pressburger
Publisher
IEEE
