ML Dependency Analysis for Assessors

Autor: Vincent Benayoun, François Pessaux, Philippe Ayrault, Catherine Dubois

Publikováno v: Software Engineering and Formal Methods (SEFM) 2012
Software Engineering and Formal Methods (SEFM) 2012, Oct 2012, Thessaloniki, Greece. pp.278-292, ⟨10.1007/978-3-642-33826-7_19⟩
Software Engineering and Formal Methods ISBN: 9783642338250
SEFM

International audience; Critical software needs to obtain an assessment before com- missioning. This assessment is given after a long task of software analysis performed by assessors. They may be helped by tools, used interactively, to build models u

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::75c28a89d1e9a8d885f24caf20286388
https://hal.archives-ouvertes.fr/hal-01203505/file/ML_deps_assess.pdf