[Back]


Talks and Poster Presentations (with Proceedings-Entry):

H. Basold, H. Günther, M. Huhn, S. Milius:
"An Open Alternative for SMT-Based Verification of Scade Models";
Poster: International Conference on Formal Methods for Industrial Critical Systems (FMICS), Florenz, Italien; 2014-09-11 - 2014-09-12; in: "FMICS", Springer / LNCS, 8718 (2014), ISBN: 978-3-319-10701-1; 124 - 139.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-10702-8_9


Created from the Publication Database of the Vienna University of Technology.