A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR.

Sylvain Cotard, Sbastien Faucou, Jean-Luc Bchennec, Audrey Queudet, Yvon Trinquet

Browse the full HPCC paper archive.