Towards Executable Dependability Properties

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

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

Fingerprint

Untersuchen Sie die Forschungsthemen von „Towards Executable Dependability Properties“. Zusammen bilden sie einen einzigartigen Fingerprint.

Engineering

Computer Science