CRISYS

IST, 1997-2001

Crisys (1997-2001) is an Esprit project which aimed at describing and formalising the industrial practices in the field of critical distributed control systems, in order to strengthen their formal bases and to provide tools for aiding their application.

Voir en ligne : More details