Talks and Poster Presentations (with Proceedings-Entry):
C. Luckeneder, H. Kaindl:
"A Case Study of Systematic Top-down Design of Cyber-physical Models with Integrated Validation and Formal Verification";
Talk: ACM Symposium on Applied Computing,
Limassol, Zypern;
2019-04-08
- 2019-04-14; in: "Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing",
(2019),
ISBN: 978-1-4503-5933-7;
1828
- 1836.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3297280.3297460
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_283527.pdf
Created from the Publication Database of the Vienna University of Technology.