Porteur du projet
ClearsyFinanceurs
Autre,CASES
CAlculateur SEcurité Sûreté
Le projet CASES vise à construire un calculateur générique sûr et sécuritaire souverain, permettant de contrôler et commander des infrastructures critiques au plus haut niveau d’intégrité. Il combine l’état de l’art en matière de calculateur et de logiciel, en ayant recourt de manière raisonnée aux méthodes formelles.
Fiche projets > Consulter