Pages personnelles professionnelles
Bonjour,
je suis ingénieur de recherche au département DTIM de l'ONERA. Je travaille sur les méthodes formelles pour les réseaux embarqués.
Homonymie : Attention, il existe un autre Marc Boyer, Marc
Gabriel Boyer, qui a fait sa thèse à l'ONERA, maître de conférences à l'
IUT A de Toulouse, et qui fait sa recherche au
LGC .
Thèmes et activité de recherche: méthodes formelles pour les systèmes embarqués communiquants
Je m'intéresse aux architectures et méthodes formelles pour les systèmes embarqués communiquants. Cela inclue des travaux théoriques sur les modèles (réseaux de Petri, calcul réseau), autant que des études pratiques (architectures, maquette).
Je suis animateur du groupe
WEED de l'
AFSEC .
En savoir
plus...
Enseignements
J'enseigne principalement l'Ingénierie des protocoles (conception, spécification, cycle en V, Lotos, Petri, SDL) en 2ème anné
Télécommunications et Réseaux de
l'ENSEEIHT .
J'ai auparavant enseigné le C, le Java, etc.
Mini-Bio
Stats with
<div class="statcounter"><a title="wordpress statistics" href="http://www.statcounter.com/wordpress.com/" target="_blank"><img class="statcounter" src="http://c.statcounter.com/4564235/0/a5b94873/1/" alt="wordpress statistics" ></a></div> StatCounter
amp;amp;lt;div class="statcounter"><a title="myspace visitor tracker" href="http://www.statcounter.com/myspace/" _fcksavedurl=""http://www.statcounter.com/myspace/"" _fcksavedurl=""http://www.statcounter.com/myspace/"" target="_blank"><img class="statcounter" src="http://c.statcounter.com/4564235/0/a5b94873/0/" _fcksavedurl=""http://c.statcounter.com/4564235/0/a5b94873/0/"" _fcksavedurl=""http://c.statcounter.com/4564235/0/a5b94873/0/"" alt="myspace visitor tracker" ></a></div>