Siegfried Fischer;Andreas Scholz;Dirk Taubner
-;-;-
A Formal Verification Environment for Railway Signaling System Design
Formal Methods in System Design - Special issue: industrial critical systems