Publications

DBLP:conf/cav/CimattiCLNRRST12

Summary

Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero and Andrei Tchaltsev (2012) Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. In CAV., pages 378-393. (url)

Bibtex entry

@INPROCEEDINGS { DBLP:conf/cav/CimattiCLNRRST12,
    AUTHOR = { Alessandro Cimatti and Raffaele Corvino and Armando Lazzaro and Iman Narasamdya and Tiziana Rizzo and Marco Roveri and Angela Sanseviero and Andrei Tchaltsev },
    TITLE = { Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System },
    BOOKTITLE = { CAV },
    YEAR = { 2012 },
    PAGES = { 378-393 },
    EE = { http://dx.doi.org/10.1007/978-3-642-31424-7_29 },
    CROSSREF = { DBLP:conf/cav/2012 },
    BIBSOURCE = { DBLP, http://dblp.uni-trier.de },
}