Daniel Klünder

According to our database, Daniel Klünder authored at least 3 papers between 2008 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation.

Daniel Klünder

PhD thesis, 2009

2008

Modellierung und Analyse von Fahrzeugsoftware mit Abstract State Machines.

Daniel Klünder

Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008

Direct Support for Model Checking Abstract State Machines by Utilizing Simulation.

Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008