%0 Conference Paper %1 conf/forms/HartigGSB10 %A Hartig, Kerstin %A Gerlach, Jens %A Soto, Juan %A Busse, Jürgen %B FORMS/FORMAT %D 2010 %E Schnieder, Eckehard %E Tarnai, Géza %I Springer %K dblp %P 145-153 %T Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. %U http://dblp.uni-trier.de/db/conf/forms/forms2010.html#HartigGSB10 %@ 978-3-642-14260-4

@inproceedings{conf/forms/HartigGSB10, added-at = {2024-02-28T00:00:00.000+0100}, author = {Hartig, Kerstin and Gerlach, Jens and Soto, Juan and Busse, Jürgen}, biburl = {https://www.bibsonomy.org/bibtex/20ada72c74e8c81a70030cbe4242bf31c/dblp}, booktitle = {FORMS/FORMAT}, crossref = {conf/forms/2010}, editor = {Schnieder, Eckehard and Tarnai, Géza}, ee = {https://doi.org/10.1007/978-3-642-14261-1_15}, interhash = {d11a5821232890cf6caec9b0099f468f}, intrahash = {0ada72c74e8c81a70030cbe4242bf31c}, isbn = {978-3-642-14260-4}, keywords = {dblp}, pages = {145-153}, publisher = {Springer}, timestamp = {2024-04-10T15:56:00.000+0200}, title = {Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie.}, url = {http://dblp.uni-trier.de/db/conf/forms/forms2010.html#HartigGSB10}, year = 2010 }