%0 Conference Paper %1 conf/issre/KassmeyerBSBG16 %A Käßmeyer, Michael %A Bazan, Peter %A Schurius, Markus %A Berndt, Rüdiger %A German, Reinhard %B ISSRE Workshops %D 2016 %I IEEE Computer Society %K dblp %P 271-277 %T A Formal Model for Stateful and Variant-Rich Automotive Functions. %U http://dblp.uni-trier.de/db/conf/issre/issre2016w.html#KassmeyerBSBG16 %@ 978-1-5090-3601-1

@inproceedings{conf/issre/KassmeyerBSBG16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Käßmeyer, Michael and Bazan, Peter and Schurius, Markus and Berndt, Rüdiger and German, Reinhard}, biburl = {https://www.bibsonomy.org/bibtex/2ed38e9de3bbed1a69691336290928978/dblp}, booktitle = {ISSRE Workshops}, crossref = {conf/issre/2016w}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISSREW.2016.25}, interhash = {4e83a13804d21158c1f4a4810ea1b591}, intrahash = {ed38e9de3bbed1a69691336290928978}, isbn = {978-1-5090-3601-1}, keywords = {dblp}, pages = {271-277}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:57:57.000+0200}, title = {A Formal Model for Stateful and Variant-Rich Automotive Functions.}, url = {http://dblp.uni-trier.de/db/conf/issre/issre2016w.html#KassmeyerBSBG16}, year = 2016 }