Safety problems 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 problems in computer systems. 1998, Anais.. London: Springer-Verlag, 1998. . Acesso em: 25 fev. 2026. -
APA
Camargo Júnior, J. B., & Almeida Junior, J. R. de. (1998). Safety problems in computer systems. In PSAM 4: proceedings. London: Springer-Verlag. -
NLM
Camargo Júnior JB, Almeida Junior JR de. Safety problems in computer systems. PSAM 4: proceedings. 1998 ;[citado 2026 fev. 25 ] -
Vancouver
Camargo Júnior JB, Almeida Junior JR de. Safety problems in computer systems. PSAM 4: proceedings. 1998 ;[citado 2026 fev. 25 ] - A segurança no controle do transporte metroviário
- Principais aspectos da segurança em sistemas utilizados em áreas críticas
- A2CPS: a Vehicle-Centric Safety Conceptual Framework for Autonomous Transport Systems
- ECSS - A tool using adaptive statecharts for Evaluation of Critical Systems Specifications
- Análise de segurança de sistemas de controle metro-ferroviários
- A utilização de software em sistemas de segurança
- Uma lista de inspeção para a análise de software crítico
- The safety analysis case in the São Paulo Metro
- Safety analysis of railway control systems using statecharts
- Formal parameters synthesis for track segments of a subway mesh
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
