Return to Article Details METODOLOGIA PARA DESENVOLVIMENTO ASSISTIDO POR MODEL CHECKING DE SISTEMAS DE CONTROLE E MONITORAÇÃO DE NAVIOS Download Download PDF