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
Objets coopérants (informatique)
Génie logiciel
Informatique dans les nuages
Allocation de ressources (radiotéléphonie)
Gestion d'entreprise
B (méthode formelle)
Véhicules autonomes
Règles formelles
Tests basés sur des scénarios
Simulation, Méthodes de
Grammaires formelles
Vérification
Contrôle d'accès
Dmp
Médical
Dossier médical personnel