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.