You are here
Publications
Export 1 results:
Filters: Author is Tonetta, Stefano [Clear All Filters]
Verification of railway interlocking-compositional approach with OCRA,
, International Conference on Reliability, Safety and Security of Railway Systems, p.134–149, (2016)