HASE '12 : 14th IEEE International High-Assurance Systems Engineering symposium79114Voir les documents associés Exporter Export XML Export RDF