Timothy Bourke
Mots clés
FR |
EN
Temps réel (informatique)
Informatique
Systèmes embarqués (informatique)
Analyse statique
Lustre
Langages de programmation -- Sémantique
Langages synchrones
Langages synchrones à flots de données
Scade
Compilation vérifiée
Sémantique mécanisée
Vélus
Assistants de preuve interactifs
Coq
Reset modulaire
Méthodes formelles (informatique)
Logiciels -- Vérification
Concurrence
Hétérogénéité
Sémantique