François Despaux
Mots clés
FR |
EN
Réseaux de capteurs
Protocoles MAC
Délai de bout en bout
Réseaux de capteurs (technologie)
Systèmes de communication sans fil
Analyse temporelle
Traitement du signal
Protocoles de réseaux d'ordinateurs
Systèmes cyber-physiques
Programmation de mission
Langages dédiés
Preuve de théorème
Objets coopérants (informatique)
Langages de programmation
Méthodes formelles (informatique)
Assistants de preuve