Saad Mubeen, Mattias Gålnander, Alessio Bucaioni, John Lundbäck, Kurt-Lennart Lundbäck. Timing verification of component-based vehicle software with rubus-ICE: end-user's experience. In Séverine Sentilles, Barry W. Boehm, Catia Trubiani, Xavier Franch, Anne Koziolek, editors, Proceedings of the 1st International Workshop on Software Qualities and Their Dependencies, SQUADE@ICSE 2018, Gothenburg, Sweden, May 28, 2018. pages 37-38, ACM, 2018. [doi]
Abstract is missing.