A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012
Fichier non déposé

Dates et versions

hal-01713202 , version 1 (20-02-2018)

Identifiants

Citer

Sébastien Faucou, Sylvain Cotard, Jean-Luc Béchennec, Audrey Queudet, Yvon Trinquet. A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR. 2012 IEEE 14th Int'l Conf. on High Performance Computing and Communication (HPCC) & 2012 IEEE 9th Int'l Conf. on Embedded Software and Systems (ICESS), Jun 2012, Liverpool, United Kingdom. ⟨10.1109/HPCC.2012.220⟩. ⟨hal-01713202⟩
58 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More