-
From a Solution Model to a B Model for Verification of Safety Properties
In the context of safety requirement engineering, model transformation is a task of interest. Indeed, it allows us to keep all the requirements while switching from... -
Eiffel : la puissance de la recherche au service de vos programmes
Article dans une revue de vulgarisation.
