Automatic Test of Lustre/SCADE Programs

Virginia Papailiopoulou 1 Besnik Seljimi 2 Ioannis Parissis 3
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
3 CTSYS - Conception et Test de SYStèmes embarqués
LCIS - Laboratoire de Conception et d'Intégration des Systèmes
Type de document :
Chapitre d'ouvrage
Model-Based Testing for Embedded Systems, CRC Press, pp.171-194, 2011, 978-1-43-981845-9
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00680696
Contributeur : Ioannis Parissis <>
Soumis le : lundi 19 mars 2012 - 23:14:56
Dernière modification le : lundi 5 octobre 2015 - 16:58:38

Identifiants

  • HAL Id : hal-00680696, version 1

Collections

INRIA | I3S | UNICE | LCIS | UGA

Citation

Virginia Papailiopoulou, Besnik Seljimi, Ioannis Parissis. Automatic Test of Lustre/SCADE Programs. Model-Based Testing for Embedded Systems, CRC Press, pp.171-194, 2011, 978-1-43-981845-9. <hal-00680696>

Partager

Métriques

Consultations de la notice

209