Travelled to:
1 × USA
Collaborated with:
A.Cimatti A.Lazzaro I.Narasamdya T.Rizzo M.Roveri A.Sanseviero A.Tchaltsev
Talks about:
industri (1) railway (1) system (1) formal (1) verif (1) valid (1) train (1) space (1) ertm (1)
Person: Raffaele Corvino
DBLP: Corvino:Raffaele
Contributed to:
Wrote 1 papers:
- CAV-2012-CimattiCLNRRST #industrial #validation #verification
- Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System (AC, RC, AL, IN, TR, MR, AS, AT), pp. 378–393.