Towards Executable Dependability Properties

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Suchergebnisse