A utilização de software em sistemas de segurança (1997)
- Authors:
- USP affiliated authors: CAMARGO JÚNIOR, JOÃO BATISTA - EP ; ALMEIDA JUNIOR, JORGE RADY DE - EP
- Unidade: EP
- Assunto: SISTEMAS DE CONTROLE
- Language: Português
- Imprenta:
- Source:
- Título: Anais
- Conference titles: Congresso de Equipamentos e Automação da Indústria Química e Petroquímica
-
ABNT
CAMARGO JÚNIOR, João Batista e ALMEIDA JUNIOR, Jorge Rady de. A utilização de software em sistemas de segurança. 1997, Anais.. São Paulo: ABIQUIM, 1997. . Acesso em: 26 jan. 2026. -
APA
Camargo Júnior, J. B., & Almeida Junior, J. R. de. (1997). A utilização de software em sistemas de segurança. In Anais. São Paulo: ABIQUIM. -
NLM
Camargo Júnior JB, Almeida Junior JR de. A utilização de software em sistemas de segurança. Anais. 1997 ;[citado 2026 jan. 26 ] -
Vancouver
Camargo Júnior JB, Almeida Junior JR de. A utilização de software em sistemas de segurança. Anais. 1997 ;[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
- Uma lista de inspeção para a análise de software crítico
- The safety analysis case in the São Paulo Metro
- 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
