Filter your results
- 3
- 1
- 2
- 1
- 1
- 4
- 1
- 2
- 1
- 3
- 1
- 4
- 1
- 4
- 3
- 3
- 1
|
|
sorted by
|
|
Strengthening fonctional validation of critical system by using Model Checking : application to Instrumentation and control systems in nuclear power plantsSoftware Engineering [cs.SE]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0047⟩
Theses
tel-03419751v1
|
||
A Model-Based Testing Process for Enhancing Structural Coverage in Functional TestingInt. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
Conference papers
hal-02287374v1
|
|||
CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défisGénie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109, pp.50-60
Journal articles
hal-02287057v1
|
|||
Model-Based Verification Directed by Structural Coverage and Functional RequirementsModel-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria
Conference papers
hal-02287373v1
|