Amel Mammar
Mots 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
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
Simulation, Méthodes de
Grammaires formelles
Vérification
Contrôle d'accès
Dmp
Médical
Dossier médical personnel