1
Assuntos:
“...Projeto de sistemas...”
Tangram: uma ferramenta de apoio à verificação formal de sistemas de tempo real baseados em componentes
Dissertação