Um Fluxo de Ferramentas para Síntese de Controladores Assíncronos a partir de Especificações STG Estendido
Documento
- Visão geral
- Pesquisas
- Identidade
- Ver todos
Visão geral
tipo
- master thesis
autores
data de publicação
- 2017-01-01