Verificação de conflito na supervisão de sistemas concorrentes usando abstrações

Verificação de conflito na supervisão de sistemas concorrentes usando abstrações

Tese (doutorado) - 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-23T06:32:08Z (GMT). No. of bitstreams: 1 246645.pdf: 1214911 bytes, checksum: 7e33bf379856a93d9378e80eca2ac03b (MD5) === A explosão...

Full description

Bibliographic Details
Main Author: Pena, Patrícia Nascimento
Other Authors: Universidade Federal de Santa Catarina
Language:Portuguese
Published: Florianópolis, SC 2012
Subjects:
Engenharia eletrica
Sistemas a eventos discretos
Online Access:http://repositorio.ufsc.br/xmlui/handle/123456789/90139

Internet

http://repositorio.ufsc.br/xmlui/handle/123456789/90139

Similar Items