Property Ownership Formal Modelling Using Event-B and iUML-B.

Manar Altamimi Nawfal Al Hashimy Asieh Salehi Fathabadi Gary B. Wills

Published in: ABZ (2024)

Keyphrases

event detection
formal model
case study
news articles
formal representation
formal specification
formal methods
multimedia
evolutionary algorithm
event recognition
global consistency
complex events
abnormal events