HASE 2014 : 15th International Symposium on High Assurance System Engineering90876Voir les documents associés Exporter Export XML Export RDF