FMICS 2015: 20th International Workshop on Formal Methods for Industrial Critical Systems
- Aichernig, B. (Redner/in)
Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science
Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science