
[ACM Press the 1st International Workshop - Gothenburg, Sweden (2018.05.28-2018.05.28)] Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies - SQUADE '18 - Timing verification of component-based vehicle software with rubus-ICE
Mubeen, Saad, Gålnander, Mattias, Bucaioni, Alessio, Lundbäck, John, Lundbäck, Kurt-LennartAnnée:
2018
Langue:
english
DOI:
10.1145/3194095.3194103
Fichier:
PDF, 878 KB
english, 2018