%0 Conference Paper %1 conf/fmcad/DurandFWZ21 %A Durand, Timothee %A Fazekas, Katalin %A Weissenbacher, Georg %A Zwirchmayr, Jakob %B FMCAD %D 2021 %I IEEE %K dblp %P 96-101 %T Model Checking AUTOSAR Components with CBMC. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#DurandFWZ21 %@ 978-3-85448-046-4

@inproceedings{conf/fmcad/DurandFWZ21, added-at = {2024-02-05T00:00:00.000+0100}, author = {Durand, Timothee and Fazekas, Katalin and Weissenbacher, Georg and Zwirchmayr, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/2c02a6401c1b3433b43aaeb73a92d0175/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2021}, ee = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_18}, interhash = {e7473763c1711c3328c2af8f44a36ef3}, intrahash = {c02a6401c1b3433b43aaeb73a92d0175}, isbn = {978-3-85448-046-4}, keywords = {dblp}, pages = {96-101}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:44.000+0200}, title = {Model Checking AUTOSAR Components with CBMC.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#DurandFWZ21}, year = 2021 }