Le moteur de recherche
des thèses françaises
Timothy Bourke
IdRefMots clés
FR |
EN
Informatique
Temps réel (informatique)
Compilation vérifiée
Systèmes embarqués (informatique)
Lustre
Sémantique
Programmation synchrone
Systèmes embarqués
Analyse statique
Langages synchrones à flots de données
Scade
Vélus
Coq
Assistants de preuve
Logiciels -- Vérification
Langages de programmation -- Sémantique
Langages synchrones
Sémantique mécanisée
Assistants de preuve interactifs
Reset modulaire