Formal methods for railway control systems

Alessandro Fantechi, Francesco Flammini, Stefania Gnesi. Formal methods for railway control systems. STTT, 16(6):643-646, 2014. [doi]

No reviews for this publication, yet.