An Open Alternative for SMT-based Verification of SCADE Models
Basold H, Günther H, Huhn M, Milius S (2014)
Publication Type: Conference contribution
Publication year: 2014
Publisher: Springer
Series: Lecture Notes Comput. Sci.
City/Town: Heidelberg
Book Volume: 8718
Pages Range: 124-139
Conference Proceedings Title: Proc. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14)
Event location: Florenz
URI: http://www8.cs.fau.de/publications
Authors with CRIS profile
Involved external institutions
Radboud University Nijmegen
Netherlands (NL)
Technische Universität Clausthal / Clausthal University of Technology
Germany (DE)
Technische Universität Wien / Vienna University of Technology
Austria (AT)
Netherlands (NL)
Technische Universität Clausthal / Clausthal University of Technology
Germany (DE)
Technische Universität Wien / Vienna University of Technology
Austria (AT)
How to cite
APA:
Basold, H., Günther, H., Huhn, M., & Milius, S. (2014). An Open Alternative for SMT-based Verification of SCADE Models. In Proc. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14) (pp. 124-139). Florenz: Heidelberg: Springer.
MLA:
Basold, Henning, et al. "An Open Alternative for SMT-based Verification of SCADE Models." Proceedings of the FMICS'14, Florenz Heidelberg: Springer, 2014. 124-139.
BibTeX: Download