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


août 2022
Di Lu Ma Me Je Ve Sa
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 31 01 02 03