Opening book details…
About this Engineering article
Toward Formal Models and Languages for Verifiable Multi-Robot Systems by De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar
- Publisher
- Frontiers Media SA; Frontiers Media S.A.; Lausanne: Frontiers Media S.A., 2014- (ISSN 2296-9144)
- Published
- 2018
- Language
- EN
- Field
- Engineering (Physical Sciences)
More by De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar
Browse all works by De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar