Le moteur de recherche
des thèses françaises
Karim Berkani
IdRefMots clés
FR |
EN
Vérification
Déduction automatique
Superdéduction
Méthode B
Règles de l'Atelier B
Coq
Bureautique
B (méthode formelle)
Déduction (logique)
Systèmes de télécommunications
Ingénierie système
Spécifications système
Langages de modélisation
Sûreté de fonctionnement
Systèmes ferroviaires
Ingénierie des systèmes
Simulation par ordinateur
Transports ferroviaires
Spécifications
Intégration des systèmes (ingénierie)