Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. === Made available in DSpace on 2012-10-22T06:54:46Z (GMT). No. of bitstreams: 1 229642.pdf: 913013 bytes, checksum: b91e4f245fcd6bd232b3b75341b7ea38 (MD5) === A res...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Florianópolis, SC
2012
|
| Subjects: | |
| Online Access: | http://repositorio.ufsc.br/xmlui/handle/123456789/88239 |