KOTANI, M.M.VIEIRA NETO, A.S.SOUZA, B.J.BORGES, W.S.2014-11-172014-11-182015-04-022014-11-172014-11-182015-04-02KOTANI, M.M.; VIEIRA NETO, A.S.; SOUZA, B.J.; BORGES, W.S. Uma metodologia para certificacao de seguranca de controladores digitais. In: 9o. ENCONTRO NACIONAL DE FISICA DE REATORES E TERMOHIDRAULICA, 25-29 de outubro, 1993, Caxambu, MG. p. 436-439. Disponível em: http://repositorio.ipen.br/handle/123456789/14688.http://repositorio.ipen.br/handle/123456789/14688436-439openAccesscontrol equipmentreactor safetycomputer-aided designTexto completo de evento