[Back]


Talks and Poster Presentations (without Proceedings-Entry):

L. Kovacs:
"Automated Reasoning for Systems Engineering";
Keynote Lecture: 2018 IEEE International Conference on Future IoT Technologies (Future IoT 2018), Eger, Hungary (invited); 2018-01-18 - 2018-01-19.


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