An Open Alternative for SMT-based Verification of SCADE Models

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Basold H, Günther H, Huhn M, Milius S
Verlag: Springer
Verlagsort: Heidelberg
Jahr der Veröffentlichung: 2014
Titel der Reihe: Lecture Notes Comput. Sci.
Band: 8718
Tagungsband: Proc. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14)
Seitenbereich: 124-139


FAU-Autoren / FAU-Herausgeber

Milius, Stefan apl. Prof. Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)


Autor(en) der externen Einrichtung(en)
Radboud University Nijmegen
Technische Universität Clausthal
Technische Universität Wien


Zitierweisen

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: 

Zuletzt aktualisiert 2018-09-08 um 23:25