Correctness of IoT-based systems: From a DSL to a mechanised analysis.

J. Christian Attiogbé Jérôme Rocheteau

Published in: J. Comput. Lang. (2023)

Keyphrases

management system
artificial intelligence
distributed systems
quantitative analysis
real time
data sets
databases
metadata
data analysis
sensor networks
statistical analysis
learning systems
wireless networks
complex systems
formal methods