| Reference | Outil de test de logiciels critiques embarqués |
|---|---|
| description | Logilab a réalisé pour Areva un outil de test de logiciels critiques embarqués. Cet outil, écrit en Python, permet de définir des cas de tests puis de les valider sur un modèle exécutable généré à partir de spécifications graphiques. |
