Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués. (Automatic tests generation from SysML models for the functionnal validation of embedded)

Jonathan Lasalle. Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués. (Automatic tests generation from SysML models for the functionnal validation of embedded). PhD thesis, University of Franche-Comté, Besançon, France, 2012. [doi]

Abstract

Abstract is missing.