A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

A Data Flow Monitoring Service Based on Runtime Verification for AUTOSAR

Domaines

Systèmes embarqués Génie logiciel [cs.SE]

Sébastien Faucou  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01713202

Soumis le : mardi 20 février 2018-12:07:48

Dernière modification le : vendredi 5 janvier 2024-03:25:14

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES IRCCYN UNAM LS2N NANTES-UNIVERSITE
68 Consultations
0 Téléchargements

Altmetric

Partager

More