Formal Modelling of Domain Constraints in Event-B.

Linda Mohand-Oussaïd Idir Aït-Sadoune

Published in: MEDI (2017)

Keyphrases

domain specific
domain independent
global constraints
case study
formal model
conceptual models
formal representation
event detection
constraint programming
news articles
news stories