Pular para o conteúdo
Gov.br — Ministério da Educação (abre em nova aba)
in-Chat
Docente · IFC

Rafael Garlet de Oliveira

Rede Integra
Instituto Federal Catarinense · Campus Luzerna · Portal Integra da instituição

Servidor(a) da Rede Federal de Educação Profissional, Científica e Tecnológica.
Currículo e competências no Portal Integra da instituição.

Marca de Instituto Federal CatarinenseMarca do Integra

Localização e contato

Campus Luzerna • Av. Frei João, 550, Luzerna - SC, 89609-000 • SC

Resumo profissional

Possui graduação em Engenharia de Controle e Automação Industrial pela Universidade Federal de Santa Catarina (2009), Mestrado em Engenharia de Automação e Sistemas pela Universidade Federal de Santa Catarina (2011) e Doutorado em Engenharia de Automação e Sistemas pela Universidade Federal de Santa Catarina (2024). Atualmente atua como professor efetivo no Instituto Federal Catarinense (IFC) - campus Luzerna.
Palavras-chave:Verificação de ModelosSistemas CríticosPropriedades de VerificaçãoLinguagem AADLSistemas a Eventos DiscretosTeoria de Controle SupervisórioControle HierárquicoAbstrações SucessivasEventos ConfiáveisAbordagem Interníveis
Rede Integra © 2023-2026 Setec - Ministério da Educação — Desenvolvido pelo IFRS.