Daniel Klünder

Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation

Daniel Klünder, Daniel Klünder, 2009 .

Modellierung und Analyse von Fahrzeugsoftware mit Abstract State Machines

Daniel Klünder, 2008, Modellierung.

Design-by-Contract for Embedded Systems

Stefan Kowalewski, Daniel Klünder, J. Li, 2008 .

Direct Support for Model Checking Abstract State Machines by Utilizing Simulation

Stefan Kowalewski, Bastian Schlich, Daniel Klünder, 2008, ABZ.