Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
C. Luckeneder, H. Kaindl:
"A Case Study of Systematic Top-down Design of Cyber-physical Models with Integrated Validation and Formal Verification";
Vortrag: ACM Symposium on Applied Computing,
Limassol, Zypern;
08.04.2019
- 14.04.2019; in: "Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing",
(2019),
ISBN: 978-1-4503-5933-7;
S. 1828
- 1836.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3297280.3297460
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_283527.pdf