Vol-2498⫷ Vol-2499 ⫸Vol-2500
urn:nbn:de:0074-2499-0


Vol-2499/paper1⫷Vol-2499/paper2⫸Vol-2499/paper3

SAVE/GTS-VLT: Visual Logic Tool for Geo-Temporal Specification and Verification of Safety Requirements in Smart IoT Systems