Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por Model Checking

• Ano de defesa: 2018
• Autor(a) principal: Lázaro, Felipe da Silva
• Orientador(a): Queiroz, Max Hering de Orient., Farines, Jean-Marie
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Santa Catarina (UFSC)
• Palavras-chave em Português: Engenharia de automação; Engenharia de sistemas; Model checking; Verificação formal; Diagrama de lógica binária; Navios
• Link de acesso: http://www.repositorio.mar.mil.br/handle/ripcmb/843852

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2018.