Uma lista de inspeção para a análise de software crítico (1999)
- Authors:
- USP affiliated authors: ALMEIDA JUNIOR, JORGE RADY DE - EP ; CAMARGO JUNIOR, JOAO BATISTA - EP
- Unidade: EP
- Subjects: PREVENÇÃO DE ACIDENTES; SISTEMAS DE CONTROLE
- Language: Português
- Imprenta:
- Publisher: CTA/ITA/IEC
- Publisher place: São José dos Campos
- Date published: 1999
- Source:
- Título do periódico: Anais
- Conference titles: Simpósio sobre Segurança em Informática
-
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: 18 abr. 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 abr. 18 ] -
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 abr. 18 ] - Applying HAZOP to a subway signaling system
- Formal parameters synthesis for track segments of a subway mesh
- Analise de seguranca de sistemas de controle metro-ferroviarios
- Principais aspectos da segurança em sistemas utilizados em áreas críticas
- ECSS - A tool using adaptative statecharts for Evaluation of Critical Systems Specifications
- Safety analysis of railway control systems using statecharts
- 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
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
