methodes formelles et analyse de sureté de fonctionnement des systémes informatiques

Simple item page
dc.contributor.authorBERDIGH ASMAA
dc.date.accessioned2016-08-24T14:09:30Z
dc.date.accessioned2025-05-21T09:35:00Z
dc.date.available2016-08-24T14:09:30Z
dc.date.issued2016-08-24
dc.date.registred2013
dc.description.cedSciences et Techniques
dc.description.collaboratorJALAL LAASSIRI
dc.description.laboratoryMathématiques,Informatique et application
dc.identifier.urihttps://otrohati.imist.ma/handle/123456789/53593
dc.titlemethodes formelles et analyse de sureté de fonctionnement des systémes informatiques

Files

Collections

CEDoc en Sciences et Techniques et Sciences Médicales (CED - STSM)