Timing verification of component-based vehicle software with rubus-ICE: end-user's experience.

Saad Mubeen, Mattias Glnander, Alessio Bucaioni, John Lundbck, Kurt-Lennart Lundbck

Browse the full ICSE paper archive.