Safety systems in computer systems (1998)
- Authors:
- USP affiliated authors: CAMARGO JÚNIOR, JOÃO BATISTA - EP ; ALMEIDA JUNIOR, JORGE RADY DE - EP
- Unidade: EP
- Assunto: PROBABILIDADE E ESTATISTICA
- Language: Inglês
- Imprenta:
- Publisher: Springer-Verlag
- Publisher place: London
- Date published: 1998
- Source:
- Título: PSAM 4: proceedings
- Conference titles: International Conference on Probabilistic Safety Assessment and Management
-
ABNT
CAMARGO JÚNIOR, João Batista e ALMEIDA JUNIOR, Jorge Rady de. Safety systems in computer systems. 1998, Anais.. London: Springer-Verlag, 1998. . Acesso em: 03 nov. 2024. -
APA
Camargo Júnior, J. B., & Almeida Junior, J. R. de. (1998). Safety systems in computer systems. In PSAM 4: proceedings. London: Springer-Verlag. -
NLM
Camargo Júnior JB, Almeida Junior JR de. Safety systems in computer systems. PSAM 4: proceedings. 1998 ;[citado 2024 nov. 03 ] -
Vancouver
Camargo Júnior JB, Almeida Junior JR de. Safety systems in computer systems. PSAM 4: proceedings. 1998 ;[citado 2024 nov. 03 ] - 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
- The safety analysis case in the São Paulo Metro
- Análise e verificação de segmentos de via de uma malha metroviária
- A utilização de software em sistemas de segurança
- A segurança no controle do transporte metroviário
- ECSS - A tool using adaptative statecharts for Evaluation of Critical Systems Specifications
- Safety analysis of railway control systems using statecharts
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
