Publications

CCMRRSTV-ICSE10

Summary

A. Chiappini, A. Cimatti, L. Macchi, O. Rebollo, M. Roveri, A. Susi, S. Tonetta and B. Vittorini (2010) Formalization and Validation of a Subset of the European Train Control System. In ICSE 2010..

Bibtex entry

@INPROCEEDINGS { CCMRRSTV-ICSE10,
    AUTHOR = { A. Chiappini and A. Cimatti and L. Macchi and O. Rebollo and M. Roveri and A. Susi and S. Tonetta and B. Vittorini },
    TITLE = { {Formalization and Validation of a Subset of the European Train Control System} },
    BOOKTITLE = { ICSE 2010 },
    YEAR = { 2010 },
}