The High-Assurance ROS Framework Artigo de Conferência

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Ver Todos
•  

Visão geral

autores

• André Santos
• Manuel Alcino Pereira da Cunha
• Macedo, Nuno

data de publicação

• janeiro 1, 2021

tem uma área de assunto

• Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Pesquisas

palavras-chave

• Robotic software
• Software quality
• Verification and validation

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1109/rose52553.2021.00013

Informação adicional documento

Página Inicial

• 37

página final

• 40