1
Assuntos:
“...Sistemas a Eventos Discretos (SED)...”
Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.
Dissertação
2
Assuntos:
“...Eventos Discretos...”
Uma nova abordagem para a síntese de supervisores de sistemas a eventos discretos.
Tese
3
Assuntos:
“...Sistemas a Eventos Discretos....”
Geração automática de modelos de autômatos temporizados para realização de testes de sistemas instrumentados de segurança.
Dissertação