Le moteur de recherche
des thèses françaises
Laurence Pierre
IdRefMots clés
FR |
EN
Méthodes formelles
Méthodes formelles (informatique)
Sécurité
SystemC
TLM
Vérification
ABV
Informatique -- Appareils et matériel
Ingénierie dirigée par les modèles
Internet des objets
Systèmes informatiques -- Mesures de sûreté
Protection de l'information (informatique)
Assertion-Based Verification
Vérification formelle
Vérification à base d'assertions
Raffinement
RTL
PSL
Microélectronique
Nanoélectronique