GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Applications De La Logique En Informatique : Logiques Modales, Automates

Applications De La Logique En Informatique : Logiques Modales, Automates

1 faculty research Applications De La Logique En Informatique : Logiques Modales, Automates on GradNova.

R
Applications De La Logique En Informatique : Logiques Modales, Automates
Modélisation Et Vérification De Systèmes Informatiques : Model Checking, Méthode Sat Et Algorithme Dpll, Applications En Télécommunications
Formal Methods in Verification
Service-Oriented Architecture and Web Services
+3