Un outil de spécification et de vérification des systèmes simultanés au moyen de tranches.
historique de la version
- Version N/A posté sur 2011-07-25
Plusieurs correctifs et mises à jour - Version N/A posté sur 2011-07-25
Détails du programme
- Catégorie: Développement > Autres
- Éditeur: slicefy.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: Array
- Plate-forme: linux