1
Assuntos:
“...Software - Desenvolvimento...”
Ferramenta para geração automatica de redes de Petri a partir da especificação de um sistema de software com caracteristicas tempo real
Dissertação