Verification of automated systems using invariants (2014)
- Authors:
- Autor USP: SILVA, JOSÉ REINALDO - EP
- Unidade: EP
- Subjects: REDES DE PETRI; ANÁLISE DE REQUISITOS; ALGORITMOS
- Language: Português
- Imprenta:
- Publisher: Sba/IFAC]
- Publisher place: [Belo Horizonte
- Date published: 2014
- Source:
- Título: Anais
- Conference titles: Congresso Brasileiro de Automática - CBA
-
ABNT
SALMON, Arianna Zoila Oliveira e DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Verification of automated systems using invariants. 2014, Anais.. [Belo Horizonte: Sba/IFAC], 2014. Disponível em: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf. Acesso em: 23 jan. 2026. -
APA
Salmon, A. Z. O., Del Foyo, P. M. G., & Silva, J. R. (2014). Verification of automated systems using invariants. In Anais. [Belo Horizonte: Sba/IFAC]. Recuperado de http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf -
NLM
Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2026 jan. 23 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf -
Vancouver
Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2026 jan. 23 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf - Process oriented design service: case study for automated information systems
- Informatics system for supervision and control of processes with mobile devices
- Inteligência HCR para automação de serviços em smart grids de baixa tensão
- Análise de invariantes na rede de Petri Ghenesys
- Toward a multi-agent manager to a set of agv's
- A estruturação do problema de planejamento em uma abordagem baseada em IA e no formalismo das redes de Petri
- Mercado aberto para automação e informática industrial
- Interactive design of integrated systems
- Método Delphi – uma ferramenta para uso em microempresas de base tecnológica
- Some issues in real-time systems verification using time petri nets
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
SilvaJ-2014-Verification ... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
