Marc Pantel
Mots clés
FR |
EN
Génération automatique de code
Méthodes formelles
Langages de programmation -- Sémantique
Logiciel de commande de vol
DO-178C
Compilation optimisée
Vérication formelle
Aéronautique -- Instruments
Systèmes embarqués (informatique)
Multicoeur
Interférence
Intégration
Ordonnancement
Logiciel temps-réel critique
Ordonnancement (informatique)
Microprocesseurs multi-coeurs
Brouillage électromagnétique
Ingénierie dirigée par les modèles
Systèmes corrects par construction
Substitution de systèmes