Marc Pantel
IdRefMots clés
FR |
EN
Méthodes formelles
Langages de programmation -- Sémantique
Génération automatique de code
Ingénierie dirigée par les modèles
Systèmes corrects par construction
Substitution de systèmes
Raffinement
Systèmes informatiques
Services Web
Sémantique de traces
Spécification formelle
Vérification formelle
Systèmes hétérogènes
Systèmes critiques
Agda
Langages de programmation
Informatique -- Recherche
Logiciel de commande de vol
DO-178C
Compilation optimisée