Mattias Gålnander

Timing Verification of Component-Based Vehicle Software with Rubus-ICE: End-User's Experience

Alessio Bucaioni, Saad Mubeen, John Lundbäck, 2018, 2018 IEEE/ACM 1st International Workshop on Software Qualities and their Dependencies (SQUADE).