%0 Conference Paper %1 conf/modelsward/KienbergerMKB14 %A Kienberger, Julian %A Minnerup, Pascal %A Kuntz, Stefan %A Bauer, Bernhard %B MODELSWARD %D 2014 %E Pires, Luís Ferreira %E Hammoudi, Slimane %E Filipe, Joaquim %E das Neves, Rui César %I SciTePress %K dblp %P 274-281 %T Analysis and Validation of AUTOSAR Models. %U http://dblp.uni-trier.de/db/conf/modelsward/modelsward2014.html#KienbergerMKB14 %@ 978-989-758-007-9

@inproceedings{conf/modelsward/KienbergerMKB14, added-at = {2015-11-17T00:00:00.000+0100}, author = {Kienberger, Julian and Minnerup, Pascal and Kuntz, Stefan and Bauer, Bernhard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/249206608d974e17f5780e03a75e658e3/dblp}, booktitle = {MODELSWARD}, crossref = {conf/modelsward/2014}, editor = {Pires, Luís Ferreira and Hammoudi, Slimane and Filipe, Joaquim and das Neves, Rui César}, ee = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7018474}, interhash = {8adb3f9cbc94265216afbcb4a47ba320}, intrahash = {49206608d974e17f5780e03a75e658e3}, isbn = {978-989-758-007-9}, keywords = {dblp}, pages = {274-281}, publisher = {SciTePress}, timestamp = {2016-02-02T11:09:09.000+0100}, title = {Analysis and Validation of AUTOSAR Models.}, url = {http://dblp.uni-trier.de/db/conf/modelsward/modelsward2014.html#KienbergerMKB14}, year = 2014 }