Julian Kienberger, Pascal Minnerup, Stefan Kuntz, Bernhard Bauer. Analysis and Validation of AUTOSAR Models. In Luís Ferreira Pires, Slimane Hammoudi, Joaquim Filipe, Rui César das Neves, editors, MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014. pages 274-281, SciTePress, 2014. [doi]
@inproceedings{KienbergerMKB14, title = {Analysis and Validation of AUTOSAR Models}, author = {Julian Kienberger and Pascal Minnerup and Stefan Kuntz and Bernhard Bauer}, year = {2014}, doi = {10.5220/0004701002740281}, url = {http://dx.doi.org/10.5220/0004701002740281}, researchr = {https://researchr.org/publication/KienbergerMKB14}, cites = {0}, citedby = {0}, pages = {274-281}, booktitle = {MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014}, editor = {Luís Ferreira Pires and Slimane Hammoudi and Joaquim Filipe and Rui César das Neves}, publisher = {SciTePress}, isbn = {978-989-758-007-9}, }