Lázaro, F. d. S. (2018). Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por Model Checking.
Referência de acordo com a norma ChicagoLázaro, Felipe da Silva. Metodologia Para Desenvolvimento De Sistemas De Controle E Monitoração De Navios Assistido Por Model Checking. 2018.
Referência de acordo com a norma MLALázaro, Felipe da Silva. Metodologia Para Desenvolvimento De Sistemas De Controle E Monitoração De Navios Assistido Por Model Checking. 2018.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma, para gerenciar as citações recomenda-se a utilização do software Zotero
, que permite o upload automático das referências do Oasisbr.