A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
Résumé
no abstract
Communication Dans Un Congrès
Année : 2015
Fabrice Bouquet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01246024
Soumis le : jeudi 17 décembre 2015-22:43:33
Dernière modification le : lundi 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : hal-01246024 , version 1
Citer
Jean-Marie Gauthier, Fabrice Bouquet, Fabien Peureux, Hammed Ahmad. A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. ICFEM'15, 17th Int. Conf. on Formal Engineering Methods, 2015, Paris, France. pp.134--152. ⟨hal-01246024⟩
Collections
119
Consultations
0
Téléchargements