Análise de segurança de sistemas de controle metro-ferroviários (1995)
- Authors:
- USP affiliated authors: CAMARGO JÚNIOR, JOÃO BATISTA - EP ; ALMEIDA JUNIOR, JORGE RADY DE - EP
- Unidade: EP
- Subjects: ENGENHARIA DE TRANSPORTES; ENGENHARIA ELÉTRICA (CONFIABILIDADE)
- Language: Português
- Imprenta:
- Conference titles: Congresso Internacional de Sistemas de Controle e Integracao Tarifaria
-
ABNT
CAMARGO JÚNIOR, João Batista et al. Análise de segurança de sistemas de controle metro-ferroviários. 1995, Anais.. São Paulo: Cptm/Abnt, 1995. . Acesso em: 27 fev. 2026. -
APA
Camargo Júnior, J. B., Almeida Junior, J. R. de, Gomes da Silva, A. C., & Dantas Junior, C. A. (1995). Análise de segurança de sistemas de controle metro-ferroviários. In . São Paulo: Cptm/Abnt. -
NLM
Camargo Júnior JB, Almeida Junior JR de, Gomes da Silva AC, Dantas Junior CA. Análise de segurança de sistemas de controle metro-ferroviários. 1995 ;[citado 2026 fev. 27 ] -
Vancouver
Camargo Júnior JB, Almeida Junior JR de, Gomes da Silva AC, Dantas Junior CA. Análise de segurança de sistemas de controle metro-ferroviários. 1995 ;[citado 2026 fev. 27 ] - A segurança no controle do transporte metroviário
- Principais aspectos da segurança em sistemas utilizados em áreas críticas
- A2CPS: a Vehicle-Centric Safety Conceptual Framework for Autonomous Transport Systems
- ECSS - A tool using adaptive statecharts for Evaluation of Critical Systems Specifications
- Safety problems in computer systems
- A utilização de software em sistemas de segurança
- Uma lista de inspeção para a análise de software crítico
- The safety analysis case in the São Paulo Metro
- Safety analysis of railway control systems using statecharts
- Formal parameters synthesis for track segments of a subway mesh
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
