
Informatik-Professor Holger Hermanns wird gemeinsam mit Kollegen mit dem „Jean-Claude Laprie Award in Dependable Computing“ für eine Forschungsarbeit ausgezeichnet, in der sie eine neue Methode zum Überprüfen von Modellen entwickelt haben. Der Preis wird seit 2012 jährlich vergeben und würdigt herausragende Arbeiten, welche die Theorie und Praxis des Forschungsfeldes „Dependable…