The safety analysis case in the São Paulo Metro (1999)
- Authors:
- USP affiliated authors: CAMARGO JÚNIOR, JOÃO BATISTA - EP ; ALMEIDA JUNIOR, JORGE RADY DE - EP
- Unidade: EP
- Subjects: PREVENÇÃO DE ACIDENTES; SISTEMAS DE CONTROLE
- Language: Inglês
- Imprenta:
- Source:
- Título: Towards system safety
-
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: 26 jan. 2026. -
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 2026 jan. 26 ] -
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 2026 jan. 26 ] - A segurança no controle do transporte metroviário
- Principais aspectos da segurança em sistemas utilizados em áreas críticas
- Safety analysis of railway control systems using statecharts
- Formal parameters synthesis for track segments of a subway mesh
- Análise e verificação de segmentos de via de uma malha metroviária
- Applying HAZOP to a subway signaling system
- A utilização de software em sistemas de segurança
- Uma lista de inspeção para a análise de software crítico
- A2CPS: a Vehicle-Centric Safety Conceptual Framework for Autonomous Transport Systems
- ECSS - A tool using adaptive statecharts for Evaluation of Critical Systems Specifications
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
