1
Assuntos:
“...Sistemas a eventos discretos...”
Construção e sintetização de modelos de estado para o controle de processos
Dissertação
2
Assuntos:
“...Sistemas a eventos discretos...”
Síntese de supervisores através de verificação de modelo.
Dissertação