2025 04 14 Kick-off
Frederic Mallet
The kick-off was held on April 14th 2025, with all the partners. We are all expecting to recruit the non-permanent staff for the project (3 PhDs and 2 Engineers). 😃
- WP1 : A Generic Clock Model for Event-B
- WP2 : Parametric-Timed Automata for Event-B
- WP3 : A Hierarchical-Time Model for Event-B
- WP4 : A new time-based methodology for Event-B and ASTD.