Daniel Klünder

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
Entwurf eingebetteter Software mit abstrakten Zustandsmaschinen und Business Object Notation.
PhD thesis, 2009

2008
Modellierung und Analyse von Fahrzeugsoftware mit Abstract State Machines.
Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008

Direct Support for Model Checking Abstract State Machines by Utilizing Simulation.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008


  Loading...