Chargement...
 
Imprimer

Spécifications Event-B

Le développement d'études de cas est une partie importante de notre activité. Nous avons en particulier travailler sur :
  • la modélisation de l'algorithme du platooning en 1D (Lanoix)
  • la modélisation du même algorithme en 2D (Yang)
  • la modélisation du domaine des transports (Mashkoor)
  • la modélisation (partielle) de train d'atterrissage (Jacquot)

Les modèles sont récupérables sous la forme d'une archive Rodin sur cette galerie.

The development of case-suites is an important part of or activity. In particular, we have worked on:
  • modeling the algorithm for platooning in 1D (Lanoix)
  • modeling the same algorithm for 2D (Yang)
  • modeling the domain of transports (Mashkoor)
  • modeling (partial) of a landing gears system (Jacquot)
  • modeling the hemodialysis machine (partial) (Sayar)

The models can be downloaded as a Rodin archive from this gallery.

Événements DEDALE


septembre 2021
Di Lu Ma Me Je Ve Sa
29 30 31 01 02 03 04
05 06 07 08 09 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 01 02