Telecharger Cours

Méthodes formelles

Le développement de modèles avec Event-B. Event-B n'est pas un langage de programmation,. Event-B est une notation utilisée pour développer des modèles.



Download