[Back]


Talks and Poster Presentations (without Proceedings-Entry):
C. Tsigkanos:
"On Modeling and Verification for Dependable Software Systems";
Talk: Department of Informatics, University of Athens, Athens, Greece (invited); 2021-09-06.

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