%0 Conference Paper %1 conf/isola/AmendolaBCCGSST20 %A Amendola, Arturo %A Becchi, Anna %A Cavada, Roberto %A Cimatti, Alessandro %A Griggio, Alberto %A Scaglione, Giuseppe %A Susi, Angelo %A Tacchella, Alberto %A Tessi, Matteo %B ISoLA (3) %D 2020 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 240-254 %T A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. %U http://dblp.uni-trier.de/db/conf/isola/isola2020-3.html#AmendolaBCCGSST20 %V 12478 %@ 978-3-030-61467-6

@inproceedings{conf/isola/AmendolaBCCGSST20, added-at = {2022-10-02T00:00:00.000+0200}, author = {Amendola, Arturo and Becchi, Anna and Cavada, Roberto and Cimatti, Alessandro and Griggio, Alberto and Scaglione, Giuseppe and Susi, Angelo and Tacchella, Alberto and Tessi, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/208b155364f4f97b58a5388f8b1396737/dblp}, booktitle = {ISoLA (3)}, crossref = {conf/isola/2020-3}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-61467-6_16}, interhash = {f7ad7db687918dbc359830c3417652eb}, intrahash = {08b155364f4f97b58a5388f8b1396737}, isbn = {978-3-030-61467-6}, keywords = {dblp}, pages = {240-254}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:58:38.000+0200}, title = {A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2020-3.html#AmendolaBCCGSST20}, volume = 12478, year = 2020 }