Talks and Poster Presentations (without Proceedings-Entry):
J. Knoop:
"Verifying the Timing Behaviour of Real-Time Systems";
Talk: Festsymposium zum 60. Geburtstag von Prof. Dr. Ernst-Rüdiger Olderog,
Oldenburg (Oldbg.) (invited);
2015-09-08
- 2015-09-09.