Início
Painéis de Indicadores
Ferramentas
Carrot2
Visão
Equipe
Sobre
Contato
Inglês
Inglês
Português
SYNTHESIS OF A CONTROLLER ALGORITHM FOR SAFETY-CRITICAL SYSTEMS
Documento
Visão geral
Pesquisas
Identidade
Ver todos
Visão geral
membro de
https://brcris.ibict.br/individual/comm_ee459614-d3fc-461b-b7eb-f628e356a377
orientado por
Celso Massaki Hirata
tipo
doctoral thesis
autores
Fellipe Guilherme Rey de Souza
data de publicação
2022-01-01
Pesquisas
áreas de investigação
Metodologia e Técnicas da Computação
palavras-chave
STAMP
STPA
Safety Analysis
Synthesis of controller algorithm
Identidade
identificador BrCris
2eeb7ebda77790acb1f7a021c6ff29c6