Roman Slovák

According to our database, Roman Slovák authored at least 2 papers between 2000 and 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

2000

Modeling train control systems with Petrinets-an operational specification.

Stefan Einer, Roman Slovák, Eckehard Schnieder

Proceedings of the IEEE International Conference on Systems, 2000