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: | Simão, Adenilso da Silva |
---|---|
Other Authors: | Maldonado, Jose Carlos |
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/ |
Similar Items
-
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.
by: Adenilso da Silva Simão
Published: (2000) -
Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
by: Adenilso da Silva Simão
Published: (2004) -
Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
by: Simão, Adenilso da Silva
Published: (2004) -
PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
by: Tatiana Sugeta
Published: (1999) -
PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
by: Sugeta, Tatiana
Published: (1999)