vercors

nom: 
vercors
description: 
VERification of models for distributed communicating COmponants, with safety and Security
institution: 
Inria, I3S
equipe: 
Scale
type: 
plateforme
Undefined