54519Analyses formelles et exhaustives de systèmes embarqués de contrôle à base de calculs intensifs [En savoir plus]FEANICSES - ANR-17-CE25-0018
AAPG2017 - 2017

Voir les documents associés 

Exporter

• Export XML
• Export RDF