Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
Devido à alta complexidade dos Sistemas Produtivos, o projeto de sistemas de controle adequados às exigências normativas vinculadas aos processos industriais que são executados, e seu impacto no ser humano e no ambiente demandam a necessidade do desenvolvimento de soluções de controle que sejam...
Main Author: | Rodrigo César Ferrarezi |
---|---|
Other Authors: | Diolino Jose dos Santos Filho |
Language: | Portuguese |
Published: |
Universidade de São Paulo
2014
|
Subjects: | |
Online Access: | http://www.teses.usp.br/teses/disponiveis/3/3152/tde-31122015-112539/ |
Similar Items
-
Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
by: Ferrarezi, Rodrigo César
Published: (2014) -
Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri.
by: Javier Martinez Silva
Published: (2016) -
Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri.
by: Martinez Silva, Javier
Published: (2016) -
Verificação formal de sistemas modelados em estados finitos.
by: Nelson França Guimarães Ferreira
Published: (2006) -
Verificação formal de sistemas modelados em estados finitos.
by: Ferreira, Nelson França Guimarães
Published: (2006)