Frank Hänsel

According to our database, Frank Hänsel authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator.

Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004