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

Frank HänselJan PoliakRoman SlovákEckehard Schnieder
Published in: SoftSpez Final Report (2004)