Modeling IoT Design Patterns Proven Correct by Construction.

Imen Tounsi, Najeh Khalfi, Abdessamad Saidi, Mohamed Hadj Kacem

Browse the full ICOST paper archive.