Model-Based Testing of the ERTMS System with SysML and MARTE

Souha Kamoun 1, 2 Pierre Boulet 1, 2, *
* Auteur correspondant
2 DART - Contributions of the Data parallelism to real time
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Résumé : No abstract
Type de document :
Communication dans un congrès
MoDeVVa'07, 2007, Nashville, United States. 2007
Liste complète des métadonnées

https://hal.inria.fr/inria-00565159
Contributeur : Pierre Boulet <>
Soumis le : vendredi 11 février 2011 - 10:36:31
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

  • HAL Id : inria-00565159, version 1

Collections

Citation

Souha Kamoun, Pierre Boulet. Model-Based Testing of the ERTMS System with SysML and MARTE. MoDeVVa'07, 2007, Nashville, United States. 2007. 〈inria-00565159〉

Partager

Métriques

Consultations de la notice

293