Mili, Saoussen, 1991-....
VIAF ID: 42161028796923740532 ( Personal )
Permalink: http://viaf.org/viaf/42161028796923740532
Preferred Forms
Works
Title | Sources |
---|---|
Approche de vérification formelle desexigences de sécurité pour les systèmesembarqués communicants |
![]() |
Formal verification approach to security requirements for communicating embedded systems. |
![]() |