C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated Transformation of IoT Systems Models into Event-B Specifications.
Abdessamad Saidi
Mohamed Hadj Kacem
Imen Tounsi
Ahmed Hadj Kacem
Published in:
ISDA (2) (2022)
Keyphrases
</>
management system
complex systems
mathematical models
reactive systems
automated tools
artificial intelligence
probabilistic model
experimental data
statistical models
event detection
physical systems
knowledge based systems
learning systems
biological systems
analytical models