STAMP-BASED METHOD FOR SYNTHESIZING THE CONTROLLER LOGIC TO MEET SAFETY REQUIREMENTS Documento

https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=10584835

Visão geral
Pesquisas
Identidade
Ver todos

membro de

orientado por

Celso Massaki Hirata

tipo

master thesis

autores

Bráulio Marques Horta

data de publicação

2020-01-01

prêmio patrocinado pela

INSTITUTO TECNOLÓGICO DE AERONÁUTICA Organização