Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por Model Checking
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.
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2018 |
| País: | Brasil |
| Institución: | Marinha do Brasil (MB) |
| Repositorio: | Repositório Institucional da Produção Científica da Marinha do Brasil (RI-MB) |
| Idioma: | portugués |
| OAI Identifier: | oai:www.repositorio.mar.mil.br:ripcmb/843852 |
| Acceso en línea: | http://www.repositorio.mar.mil.br/handle/ripcmb/843852 |
| Access Level: | acceso abierto |
| Palabra clave: | Engenharia de automação Engenharia de sistemas Model checking Verificação formal Diagrama de lógica binária Navios Engenharia naval Diretoria-Geral do Material da Marinha (DGMM) |
| Sumario: | 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. |
|---|