Yeongbok Choe, Sunghyeon Lee, Moonkun Lee. SAVE: An Environment for Visual Specification and Verification of IoT. In Remco M. Dijkman, Luís Ferreira Pires, Stefanie Rinderle-Ma, editors, 20th IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2016, Vienna, Austria, September 5-9, 2016. pages 1-8, IEEE Computer Society, 2016. [doi]
Abstract is missing.