PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
Sistemas Reativos caracterizam-se por reagir continuamente a estímulos externos e internos e controlar atividades humanas. A ocorrência de falhas nesses sistemas pode resultar em grandes prejuízos. Dessa forma, o uso de métodos e técnicas rigorosas para a especificação do comportamento desse tipo de...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | pt |
| Published: |
Biblioteca Digitais de Teses e Dissertações da USP
2000
|
| Subjects: | |
| Online Access: | http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19022001-095632/ |