Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo. An Automatic SPIN Validation of a Safety Critical Railway Control System. In 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA. pages 119-124, IEEE Computer Society, 2000. [doi]
@inproceedings{GnesiLLAAM00:0,
title = {An Automatic SPIN Validation of a Safety Critical Railway Control System},
author = {Stefania Gnesi and Diego Latella and Gabriele Lenzini and C. Abbaneo and Arturo M. Amendola and P. Marmo},
year = {2000},
url = {http://computer.org/proceedings/dsn/0707/07070119abs.htm},
tags = {control systems, C++},
researchr = {https://researchr.org/publication/GnesiLLAAM00%3A0},
cites = {0},
citedby = {0},
pages = {119-124},
booktitle = {2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-0707-7},
}