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