%0 Conference Paper %1 conf/rssrail/HalchinSBFFL23 %A Halchin, Alexandra %A Sylla, Adja Ndeye %A Benyagoub, Sarah %A Feliachi, Abderrahmane %A Fonteneau, Yoann %A Leger, Sven %B RSSRail %D 2023 %E Milius, Birgit %E Dutilleul, Simon Collart %E Lecomte, Thierry %I Springer %K dblp %P 165-177 %T Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems. %U http://dblp.uni-trier.de/db/conf/rssrail/rssrail2023.html#HalchinSBFFL23 %V 14198 %@ 978-3-031-43366-5

@inproceedings{conf/rssrail/HalchinSBFFL23, added-at = {2023-10-06T00:00:00.000+0200}, author = {Halchin, Alexandra and Sylla, Adja Ndeye and Benyagoub, Sarah and Feliachi, Abderrahmane and Fonteneau, Yoann and Leger, Sven}, biburl = {https://www.bibsonomy.org/bibtex/2d03c6d61ea7dfbf4ba71857312b90e8c/dblp}, booktitle = {RSSRail}, crossref = {conf/rssrail/2023}, editor = {Milius, Birgit and Dutilleul, Simon Collart and Lecomte, Thierry}, ee = {https://doi.org/10.1007/978-3-031-43366-5_10}, interhash = {c105ada3aa8bb0d8d124555a08ffb7a8}, intrahash = {d03c6d61ea7dfbf4ba71857312b90e8c}, isbn = {978-3-031-43366-5}, keywords = {dblp}, pages = {165-177}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T11:16:54.000+0200}, title = {Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems.}, url = {http://dblp.uni-trier.de/db/conf/rssrail/rssrail2023.html#HalchinSBFFL23}, volume = 14198, year = 2023 }