Das Poster „OCORA-Connecta Alignment“ wurde aktualisiert.
Tag: 5. Oktober 2022
Aktualisierte Publikation
Das Poster „Formal Methods – Manual“ wurde aktualisiert.
Aktualisierte Publikation
Das Poster „Formal Methods – Automatic“ wurde aktualisiert.