Le moteur de recherche
des thèses françaises
Amel Mammar
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Méthodes formelles
Systèmes informatiques -- Mesures de sûreté
Sûreté de fonctionnement
B (méthode formelle)
Génie logiciel
Preuve
Informatique dans les nuages
Allocation de ressources (radiotéléphonie)
Gestion d'entreprise
Objets coopérants (informatique)
Véhicules autonomes
Règles formelles
Tests basés sur des scénarios
Méthodes de simulation
Grammaires formelles
Vérification
Contrôle d'accès
Dmp
Médical