ReP USP - Resultado da busca

Trabalho de evento
ECSS - A tool using adaptative statecharts for Evaluation of Critical Systems Specifications (1999)
Almeida Junior, Jorge Rady de ; Camargo Júnior, João Batista
Fonte: Proceedings. Nome do evento: International System Safety Conference. Unidade: EP
Assunto: CONTROLE (TEORIA DE SISTEMAS E CONTROLE)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALMEIDA JUNIOR, Jorge Rady de e CAMARGO JÚNIOR, João Batista. ECSS - A tool using adaptative statecharts for Evaluation of Critical Systems Specifications. 1999, Anais.. Unionville: System Safety Society, 1999. . Acesso em: 03 jul. 2024.
APA
Almeida Junior, J. R. de, & Camargo Júnior, J. B. (1999). ECSS - A tool using adaptative statecharts for Evaluation of Critical Systems Specifications. In Proceedings. Unionville: System Safety Society.
NLM
Almeida Junior JR de, Camargo Júnior JB. ECSS - A tool using adaptative statecharts for Evaluation of Critical Systems Specifications. Proceedings. 1999 ;[citado 2024 jul. 03 ]
Vancouver
Almeida Junior JR de, Camargo Júnior JB. ECSS - A tool using adaptative statecharts for Evaluation of Critical Systems Specifications. Proceedings. 1999 ;[citado 2024 jul. 03 ]
Trabalho de evento
Modeling adaptive reactive systems (1999)
José Neto, João ; Almeida Junior, Jorge Rady de
Fonte: Proceedings. Nome do evento: IASTED International Conference Applied Modeling and Simulation Mas 99. Unidade: EP
Assuntos: PREVENÇÃO DE ACIDENTES, SISTEMAS DE CONTROLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
JOSÉ NETO, João e ALMEIDA JUNIOR, Jorge Rady de. Modeling adaptive reactive systems. 1999, Anais.. Anaheim: IASTED, 1999. . Acesso em: 03 jul. 2024.
APA
José Neto, J., & Almeida Junior, J. R. de. (1999). Modeling adaptive reactive systems. In Proceedings. Anaheim: IASTED.
NLM
José Neto J, Almeida Junior JR de. Modeling adaptive reactive systems. Proceedings. 1999 ;[citado 2024 jul. 03 ]
Vancouver
José Neto J, Almeida Junior JR de. Modeling adaptive reactive systems. Proceedings. 1999 ;[citado 2024 jul. 03 ]
Trabalho de evento
Using adaptive models for systems description (1999)
Almeida Junior, Jorge Rady de ; José Neto, João
Fonte: Proceedings. Nome do evento: IASTED International Conference Applied Modeling and Simulation MAS 99. Unidade: EP
Assuntos: PREVENÇÃO DE ACIDENTES, SISTEMAS DE CONTROLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALMEIDA JUNIOR, Jorge Rady de e JOSÉ NETO, João. Using adaptive models for systems description. 1999, Anais.. Anaheim: IASTED, 1999. . Acesso em: 03 jul. 2024.
APA
Almeida Junior, J. R. de, & José Neto, J. (1999). Using adaptive models for systems description. In Proceedings. Anaheim: IASTED.
NLM
Almeida Junior JR de, José Neto J. Using adaptive models for systems description. Proceedings. 1999 ;[citado 2024 jul. 03 ]
Vancouver
Almeida Junior JR de, José Neto J. Using adaptive models for systems description. Proceedings. 1999 ;[citado 2024 jul. 03 ]
Parte de monografia/livro
The safety analysis case in the São Paulo Metro (1999)
Camargo Júnior, João Batista ; Almeida Junior, Jorge Rady de
Fonte: Towards system safety. Unidade: EP
Assuntos: PREVENÇÃO DE ACIDENTES, SISTEMAS DE CONTROLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAMARGO JÚNIOR, João Batista e ALMEIDA JUNIOR, Jorge Rady de. The safety analysis case in the São Paulo Metro. Towards system safety. Tradução . Berlin: Springer, 1999. . . Acesso em: 03 jul. 2024.
APA
Camargo Júnior, J. B., & Almeida Junior, J. R. de. (1999). The safety analysis case in the São Paulo Metro. In Towards system safety. Berlin: Springer.
NLM
Camargo Júnior JB, Almeida Junior JR de. The safety analysis case in the São Paulo Metro. In: Towards system safety. Berlin: Springer; 1999. [citado 2024 jul. 03 ]
Vancouver
Camargo Júnior JB, Almeida Junior JR de. The safety analysis case in the São Paulo Metro. In: Towards system safety. Berlin: Springer; 1999. [citado 2024 jul. 03 ]
Trabalho de evento
Análise e verificação de segmentos de via de uma malha metroviária (1999)
Bonifácio, A. L.; Moura, A. V.; Camargo Júnior, João Batista ; Almeida Junior, Jorge Rady de
Fonte: Proceedings. Nome do evento: Workshop on Formal Methods. Unidade: EP
Assuntos: PREVENÇÃO DE ACIDENTES, SISTEMAS DE CONTROLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BONIFÁCIO, A. L. et al. Análise e verificação de segmentos de via de uma malha metroviária. 1999, Anais.. Florianópolis: Sociedade Brasileira de Computação, 1999. . Acesso em: 03 jul. 2024.
APA
Bonifácio, A. L., Moura, A. V., Camargo Júnior, J. B., & Almeida Junior, J. R. de. (1999). Análise e verificação de segmentos de via de uma malha metroviária. In Proceedings. Florianópolis: Sociedade Brasileira de Computação.
NLM
Bonifácio AL, Moura AV, Camargo Júnior JB, Almeida Junior JR de. Análise e verificação de segmentos de via de uma malha metroviária. Proceedings. 1999 ;[citado 2024 jul. 03 ]
Vancouver
Bonifácio AL, Moura AV, Camargo Júnior JB, Almeida Junior JR de. Análise e verificação de segmentos de via de uma malha metroviária. Proceedings. 1999 ;[citado 2024 jul. 03 ]
Trabalho de evento
Applying HAZOP to a subway signaling system (1999)
Camargo Júnior, João Batista ; Almeida Junior, Jorge Rady de
Fonte: Proceedings. Nome do evento: International System Safety Conference. Unidade: EP
Assunto: CONTROLE (TEORIA DE SISTEMAS E CONTROLE)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAMARGO JÚNIOR, João Batista e ALMEIDA JUNIOR, Jorge Rady de. Applying HAZOP to a subway signaling system. 1999, Anais.. Unionville: System Safety Society, 1999. . Acesso em: 03 jul. 2024.
APA
Camargo Júnior, J. B., & Almeida Junior, J. R. de. (1999). Applying HAZOP to a subway signaling system. In Proceedings. Unionville: System Safety Society.
NLM
Camargo Júnior JB, Almeida Junior JR de. Applying HAZOP to a subway signaling system. Proceedings. 1999 ;[citado 2024 jul. 03 ]
Vancouver
Camargo Júnior JB, Almeida Junior JR de. Applying HAZOP to a subway signaling system. Proceedings. 1999 ;[citado 2024 jul. 03 ]
Trabalho de evento
Uma lista de inspeção para a análise de software crítico (1999)
Almeida Junior, Jorge Rady de ; Camargo Júnior, João Batista ; Basseto, Bruno Abrantes; Cunha, Renato Sousa da; Paz, Sérgio Miranda
Fonte: Anais. Nome do evento: Simpósio sobre Segurança em Informática. Unidade: EP
Assuntos: PREVENÇÃO DE ACIDENTES, SISTEMAS DE CONTROLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALMEIDA JUNIOR, Jorge Rady de et al. Uma lista de inspeção para a análise de software crítico. 1999, Anais.. São José dos Campos: CTA/ITA/IEC, 1999. . Acesso em: 03 jul. 2024.
APA
Almeida Junior, J. R. de, Camargo Júnior, J. B., Basseto, B. A., Cunha, R. S. da, & Paz, S. M. (1999). Uma lista de inspeção para a análise de software crítico. In Anais. São José dos Campos: CTA/ITA/IEC.
NLM
Almeida Junior JR de, Camargo Júnior JB, Basseto BA, Cunha RS da, Paz SM. Uma lista de inspeção para a análise de software crítico. Anais. 1999 ;[citado 2024 jul. 03 ]
Vancouver
Almeida Junior JR de, Camargo Júnior JB, Basseto BA, Cunha RS da, Paz SM. Uma lista de inspeção para a análise de software crítico. Anais. 1999 ;[citado 2024 jul. 03 ]

Unidades USP

ReP

Filtros

Autores

Nome do evento