Verification of system-wide safety properties of ROS applications

Thumbnail Image
Files
P-00T-J78.pdf (2 MB)
Date
2020
Authors
Carvalho,R
Santos,A
Macedo,N
Alcino Cunha
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://repositorio.inesctec.pt/handle/123456789/12113
Collections
HASLab - Indexed Articles in Conferences