Roberto Milton Scheffel, Murilo Silva de Camargo. Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação. In Marcos Borges, Antônio Mauro Barbosa de Oliveira, editors, Proceedings of the 11th Brazilian Symposium on Software Engineering, SBES 1997, Recife, PE, Brazil, October 15-17, 1997. pages 215-230, SBC, 1997. [doi]
Abstract is missing.