Browse
Browse and Search
Search
gather-checked.maude
Download
(72.69 kB)
This item is shared privately
software
modified on 2018-03-27, 07:21
This is the specification and model checZking of mobile robot gathering
Categories
Digital processor architectures
Other information and computing sciences not elsewhere classified
Keywords
Mobile robot algorithm Model checking, Maude
Computer Engineering
Licence
MIT