Sunghyun Lee, Moonkun Lee. SAVE/GTS-VLT: Visual Logic Tool for Geo-Temporal Specification and Verification of Safety Requirements in Smart IoT Systems. In Dominik Bork, Janis Grabis, Birger Lantow, editors, Proceedings of the 3rd International Workshop on Practicing Open Enterprise Modeling Within OMiLAB (PrOse 2019) co-located with 12th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modelling (PoEM 2019), Luxembourg, November 27, 2019. Volume 2499 of CEUR Workshop Proceedings, pages 13-25, CEUR-WS.org, 2019. [doi]
Abstract is missing.