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.
View online : More details
