Le moteur de recherche
des thèses françaises
Patrick Sallé
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Traitement réparti
Génie logiciel
Programmation orientée objets (informatique)
Logiciel de commande de vol
Génération automatique de code
DO-178C
Compilation optimisée
Vérication formelle
Aéronautique -- Instruments
Systèmes embarqués (informatique)
Performances
Fiabilité
Langages de programmation
Systèmes homme-machine
Systèmes experts (informatique)
Développement prouvé
Coq
Simulink
Assistants de preuve