Daniel Hünig

According to our database, Daniel Hünig authored at least 1 paper in 2010.

Collaborative distances:

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

2010

Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models - A Real-World Example.

Klaus Birken, Daniel Hünig, Thomas Rustemeyer, Ralph Wittmann

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010