Search
Add filters:
Use filters to refine the search results.
Results 1-1 of 1 (Search time: 0.003 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
10-May-1999 | Síntese de supervisores através de verificação de modelo. | BASTOS, Wellington de Araújo. |
Discover
Subject
- 1 Explosão de estados - sistemas
- 1 Petri nets
- 1 Pragramming Enviroment based Petr...
- 1 Simbolic Model Verifier) - SMV
- 1 Sistemas a eventos discretos
- 1 Supervisor for discrete event sys...
- 1 Symbolic model checking
- 1 Síntese de supervisores - sistemas
- 1 Teoria de controle supervisório
- 1 Verificação simbólica de modelos ...
- next >
Date issued
- 1 1999