vercors

nom: 
vercors
url Logiciel: 
http://www-sop.inria.fr/oasis/index.php
description: 
VERification of models for distributed communicating COmponants, with safety and Security
contact: 
Eric Madelaine
institution: 
Inria, I3S
equipe: 
Scale
type: 
plateforme
Undefined