1
Assuntos:
“...Automação...”
Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por model checking
Dissertação
2
Assuntos:
“...Engenharia de automação...”
Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por Model Checking
Dissertação