C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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