Safety analysis of railway control systems using statecharts (1997)
- Authors:
- USP affiliated authors: ALMEIDA JUNIOR, JORGE RADY DE - EP ; CAMARGO JÚNIOR, JOÃO BATISTA - EP
- Unidade: EP
- Assunto: SISTEMAS DE CONTROLE
- Language: Inglês
- Imprenta:
- Conference titles: World Congress on Railway Research
-
ABNT
ALMEIDA JUNIOR, Jorge Rady de e CAMARGO JÚNIOR, João Batista. Safety analysis of railway control systems using statecharts. 1997, Anais.. Firenze: s. ed., 1997. . Acesso em: 24 abr. 2024. -
APA
Almeida Junior, J. R. de, & Camargo Júnior, J. B. (1997). Safety analysis of railway control systems using statecharts. In . Firenze: s. ed. -
NLM
Almeida Junior JR de, Camargo Júnior JB. Safety analysis of railway control systems using statecharts. 1997 ;[citado 2024 abr. 24 ] -
Vancouver
Almeida Junior JR de, Camargo Júnior JB. Safety analysis of railway control systems using statecharts. 1997 ;[citado 2024 abr. 24 ] - Applying HAZOP to a subway signaling system
- Uma lista de inspeção para a análise de software crítico
- Formal parameters synthesis for track segments of a subway mesh
- Principais aspectos da segurança em sistemas utilizados em áreas críticas
- ECSS - A tool using adaptative statecharts for Evaluation of Critical Systems Specifications
- A2CPS: a Vehicle-Centric Safety Conceptual Framework for Autonomous Transport Systems
- The safety analysis case in the São Paulo Metro
- Análise e verificação de segmentos de via de uma malha metroviária
- Safety systems in computer systems
- A utilização de software em sistemas de segurança
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas