Université du Havre

Participation au master recherche MIASC

• 
  MIASC1 « Semi-groupes et problèmes d'évolution »
  

Interventions possibles dans les domaines pédagogiques rattachés à la première année et aux spécialités professionnelles du master

• 
  Analyse fonctionnelle
  
• 
  Problèmes différentiels
  

Fiche Individuelle synthétique

MERMET Bruno
Maître de Conférences, 27ème section

LIH – Université du Havre

Thématique de recherche

• 
  spécifications formelles
  
• 
  preuve de systèmes distribués
  
• 
  interaction entre services de télécommunication
  
• 
  modèles et méthodes de conception de SMA
  

Trois productions scientifiques significatives/récentes

• 
  B. Mermet, Formal Model of a Multiagent System, European Meeting on Cybernetics and Systems Research, From Agent Theory to Agent Implementation, Vienne (Autriche), 2002.
  
• 
  B. Mermet, G. Simon, D. Fournier, M. Flouret, From the problem to the implementation : a methodology and the SPACE model to design multi-agent systems, ProMAS - Programming Multi-Agent Systems, Melbourne (Australie), juillet 2003.
  
• 
  D. Fournier, B. Mermet, G. Simon, M. Flouret, Using the SPACE intermediate model to help to implement agents, ISMIS, Japon, octobre 2003.