Usando invariantes na análise dos requisitos (2012)
- Authors:
- Autor USP: SILVA, JOSE REINALDO - EP
- Unidade: EP
- Subjects: REDES DE PETRI; ANÁLISE DE REQUISITOS; INVARIANTES
- Language: Português
- Imprenta:
- Publisher: UFCG
- Publisher place: Campina Grande
- Date published: 2012
- ISBN: 9788580010695
- Source:
- Título: Anais
- Conference titles: Congresso Brasileiro de Automática - CBA
-
ABNT
SALMON, Arianna Zoila Oliveira e SILVA, José Reinaldo. Usando invariantes na análise dos requisitos. 2012, Anais.. Campina Grande: UFCG, 2012. Disponível em: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf. Acesso em: 13 abr. 2026. -
APA
Salmon, A. Z. O., & Silva, J. R. (2012). Usando invariantes na análise dos requisitos. In Anais. Campina Grande: UFCG. Recuperado de https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf -
NLM
Salmon AZO, Silva JR. Usando invariantes na análise dos requisitos [Internet]. Anais. 2012 ;[citado 2026 abr. 13 ] Available from: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf -
Vancouver
Salmon AZO, Silva JR. Usando invariantes na análise dos requisitos [Internet]. Anais. 2012 ;[citado 2026 abr. 13 ] Available from: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf - Análise da propriedade distância síncrona na rede GHENeSYS
- 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
- Automação e ciência de serviço aplicado a smart grid
- Arquitetura IGCR para gerenciamento de consumo residencial de energia
- Some issues in real-time systems verification using time petri nets
- SGB: sistema de gestão e controle da informação para bibliotecas com RFID
- Manufacturing as service: the challenge of intelligent manufacturing
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
Silva_JR-2012-usando inva... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
