Jérôme Rocheteau

Architectural Invariants and Correctness of IoT-based Systems

2019 · arXiv (Cornell University)

Internet of Things applications impact more and more industrial areas such as smart manufacturing, smart health monitoring and home automation; physical objects or devices equipped with sensors and actuators are interconnected and then controlled with …