Murilo Silva de Camargo

Publication Activity (10 Years)

Years Active: 1996-1997
Publications (10 Years): 0

Publications

Roberto Milton Scheffel, Murilo Silva de Camargo
Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação. SBES (1997)
Ricardo Ferreira Martins, Murilo Silva de Camargo, Jean-Marie Farines
Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS. SBES (1996)