Ralf Wimmer
Informatiker
Werke:
- MBMV 2016: Vorwort
- MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen"
- Simulink-Modell-Übersetzung in synchrone Datenflussgraphen
- Symbolische Methoden für die probabilistische Verifikation : Zustandsraumreduktion und Gegenbeispiele