HASE '11 : The 13th IEEE International High Assurance Systems Engineering Symposium76768Voir les documents associés Exporter Export XML Export RDF