Skip to main content

Dominique MÉRY

  •  CV
  •  Publications
  •  Team MOSEL
  • Documents and Models
  •  Projects (Past,Present)
  •  Contact
    • Contact
    • Plan d’accès
  • General Informations
  •  Perso
    • Pages statiques
    • Mon blog

Documents and Models

Documents

  • Modélisation et vérification des systèmes
  • Event-B

 

Models

  • The Sliding Window Protocol in Event-B  is  described in the   HAL document   and the Event-B archive is  at the following link.

Dominique Méry

Dominique Méry

Position :
Full Professor in Computing Science, Head of the team  MOSEL, Professor at   Telecom Nancy
Contact :
dominique dot mery at loria dot fr
Tel.+33 (0)3.83.59.20.19
Bureau B202
LORIA, Campus Scientifique,
F54506 Vandœuvre lès Nancy

mars 2023
L M M J V S D
 12345
6789101112
13141516171819
20212223242526
2728293031  
« Oct    

LORIA LOGOCNRS LOGOINRIA CORPO RVBUniv Lorraine LOGO

  • Documents and Models
  • Mentions légales
  • Équipe MOSEL
  • Accueil
  • General Informations
  • Contact
  • Plan d’accès
  • Contact
  • Projects (Past,Present)
  • Publications
  • CV
sparkling Thème par Colorlib. Propulsé par WordPress