Researcher
Manufacturing / Distributed Computing and Communication
GERMANY
Pfefferkorn, Christian and Mehlhop, Sven and Rauh, Andreas and Walter, Jörg; MBMV 2024 - 27. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"; 02 / 2024