1
Assuntos:
“...Hardware - Systems engineering...”
Metodologias de suporte a verificação e análise de modelos de plataformas em alto nível de abstração
Tese