Modeling and Verifying an Arrival Manager Using Event-B.

Amel Mammar Michael Leuschel

Published in: ABZ (2023)

Keyphrases

artificial intelligence
data sets
management system
event driven
database
machine learning
model checking
modeling framework