Lot 3 : test, animation
Sous-lot 1 : animation
Disponible
description de la structure XML d'une trace d'exécution (intégrée à la
fourniture 1 du lot 1
)
Rapport sur l'utilisation d'
Elan
comme support à l'animation
pdf
simulateur intégré au prototype final.
Sous-lot 2 : test
Disponible
Techniques de test d'interopérabilité pour les systèmes temporisés
pdf
Prototype de génération de séquences de test d'interopérabilité pour les systèmes temporisés
pdf
Validation du prototype sur des études de cas
pdf
