Marek Gach

According to our database, Marek Gach authored at least 1 paper in 2011.

Collaborative distances:

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

2011

A Novel Approach to Modechart Verification of Real-Time Systems.

Jan Fiedor, Marek Gach, Milan Ceska

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011