[Back]


Talks and Poster Presentations (without Proceedings-Entry):
C. Tsigkanos:
"On Modeling and Verification for Dependable Software Systems";
Talk: Athens University of Economics and Business, Athens, Greece (invited); 2021-11-19.

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