Modeling IoT Design Patterns Proven Correct by Construction

von Tounsi, Imen
Veröffentlicht in International Conference on Smart Living and Public Heath 19 Participative urban health and healthy aging in the age of AI (2022)