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 24 publications that cite this research output on Dimensions.
Book chapter (May 2023)
Article in Applied Sciences (February 2022)
Article in IFAC-PapersOnLine (January 2022)