Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

2 Résultats
authFullName_s : Dhaussy Philippe

Validation formelle d’implantation de patrons de sécurité : Application aux SCADA

Obeid Fadi , Dhaussy Philippe
AFADL 2016, Jun 2016, Besançon, France
Communication dans un congrès hal-01326340v1

Context-aware approach for formal verification

Amel Benabbou , Safia Nait Bahloul , Dhaussy Philippe
EAI Endorsed Transactions on Context-aware Systems and Applications, 2016, 3 (7), pp.1-10. ⟨10.4108/eai.12-2-2016.151085⟩
Article dans une revue hal-01298623v1