Une approche pour la vérification des propriétés et des comportements d'un Système de Systèmes (SdS)
1 : Laboratoire de Génie Informatique et d'Ingénierie de Production
(LGI2P)
-
Site web
Ecole Nationale Supérieure des Mines d'Alès
École des Mines d'Alès - Site EERIE Parc Scientifique Georges Besse - 30035 Nîmes Cedex 1 -
France
- Autre