Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

Publications

Rather group chronologically.

Miscellaneous
Title Author(s) Source
KASTEL Industry 4.0 Demonstrator: Provably Forgetting Information in PLC softwareAlexander WeiglPresentation in the KASTEL Seminar, Karlsruhe, Germany, October 10