%0 Conference Paper %1 conf/indin/PrevostoBGHPV13 %A Prevosto, Virgile %A Burghardt, Jochen %A Gerlach, Jens %A Hartig, Kerstin %A Pohl, Hans Werner %A Völlinger, Kim %B INDIN %D 2013 %I IEEE %K %P 710-715 %T Formal specification and automated verification of railway software with Frama-C. %U http://dblp.uni-trier.de/db/conf/indin/indin2013.html#PrevostoBGHPV13 %@ 978-1-4799-0752-6

@inproceedings{conf/indin/PrevostoBGHPV13, added-at = {2023-12-12T17:34:28.000+0100}, author = {Prevosto, Virgile and Burghardt, Jochen and Gerlach, Jens and Hartig, Kerstin and Pohl, Hans Werner and Völlinger, Kim}, biburl = {https://www.bibsonomy.org/bibtex/2ffb45fffbf30c722a257a2b2cc2c5eb5/admin}, booktitle = {INDIN}, crossref = {conf/indin/2013}, ee = {http://dx.doi.org/10.1109/INDIN.2013.6622971}, interhash = {05a85959c9095f1ae91e8fe899bbcf4b}, intrahash = {ffb45fffbf30c722a257a2b2cc2c5eb5}, isbn = {978-1-4799-0752-6}, keywords = {}, pages = {710-715}, publisher = {IEEE}, timestamp = {2023-12-12T17:34:28.000+0100}, title = {Formal specification and automated verification of railway software with Frama-C.}, url = {http://dblp.uni-trier.de/db/conf/indin/indin2013.html#PrevostoBGHPV13}, year = 2013 }