Le moteur de recherche
des thèses françaises
Otmane Ait Mohamed
IdRefMots clés
FR |
EN
Fiabilité des systèmes embarqués
Environnement hostile
Rayonnements corpusculaires
Environnement d'observation
Composants de tests basés sur microprocesseur
Acquisition et traitement de données
Informatique théorique
Programme parallèle
Vérification
Protocole de transmission
π-calcul
Logique ordre supérieur
Bisimulation
Système HOL
Pi-calcul
Programmation parallèle (informatique)