Search
Add filters:
Use filters to refine the search results.
Results 1-1 of 1 (Search time: 0.004 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 Diagrama de Decisão Binário Orden...
- 1 Petri nets
- 1 Pragramming Enviroment based Petr...
- 1 Redes de Petri
- 1 Simbolic Model Verifier) - SMV
- 1 Supervisor for discrete event sys...
- 1 Supervisory control theory
- 1 Symbolic model checking
- 1 Síntese de supervisores - sistemas
- 1 Teoria de controle supervisório
- next >