Towards Executable Dependability Properties

Jürgen Dobaj, Johannes Iber, Michael Krisper, Christian Josef Kreiner

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Filter
Talk at conference or symposium

Search results