Description of Restricted Object Reservation System Using Specification and Description Language VDM++
Book chapter (May 2023)
The most recent citing publications are shown below. View all 14 publications that cite this research output on Dimensions.
Formal Modeling of IoT and Drone-Based Forest Fire Detection and Counteraction System
Article in Electronics (December 2021)
Energy efficient watchman based flooding algorithm for IoT‐enabled underwater wireless sensor and actor networks
Article in ETRI Journal (April 2021)