-
Robustness in Multicore Automotive Embedded Real-Time Systems
The feature content of new cars is increasing dramatically, which involves more demanding requirements. AUTOSAR (AUTomotive Open System ARchi- tecture) - an open and... -
An Approach to Automated Runtime Verification for Timed Systems: Applications...
International audience -
An automated passive testing approach of real-time systems: Application to We...
International audience
