Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por Model Checking
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Controlador Logico Programavel
-
Model Checking
-
Navios
-
Sistemas de controle
-
Verificação
Identidade
identificador BrCris
-
ca721ec4d8f8e32d82d9207d73b64d3f
identificador Capes
identificador Oasisbr
-
MB_a097e0fb7c1f8a75b040a4960a80e71f
-
UFSC_db1bc0c71cf7183835223fa80c76aff9