SAVE: An Environment for Visual Specification and Verification of IoT.

Yeongbok Choe, Sunghyeon Lee, Moonkun Lee

Browse the full EDOC paper archive.