Formal Modeling IoT Systems on the Basis of BiAgents* and Maude.

Souad Marir Faiza Belala Hameurlain Nabil

Published in: ICAASE (2020)

Keyphrases

management system
dynamic aspects
expert systems
computer systems
artificial intelligence
formal methods
distributed systems
formal specification
computing systems
big data
formal models
modeling method
formal model
computational models
genetic algorithm
web services
search engine
learning algorithm