ECSS - A tool using adaptive statecharts for Evaluation of Critical Systems Specifications (1999)
- Authors:
- USP affiliated authors: ALMEIDA JUNIOR, JORGE RADY DE - EP ; CAMARGO JÚNIOR, JOÃO BATISTA - EP
- Unidade: EP
- Assunto: CONTROLE (TEORIA DE SISTEMAS E CONTROLE)
- Language: Inglês
- Imprenta:
- Publisher: System Safety Society
- Publisher place: Unionville
- Date published: 1999
- Source:
- Título: Proceedings
- Conference titles: International System Safety Conference
-
ABNT
ALMEIDA JUNIOR, Jorge Rady de e CAMARGO JÚNIOR, João Batista. ECSS - A tool using adaptive statecharts for Evaluation of Critical Systems Specifications. 1999, Anais.. Unionville: System Safety Society, 1999. . Acesso em: 26 jan. 2026. -
APA
Almeida Junior, J. R. de, & Camargo Júnior, J. B. (1999). ECSS - A tool using adaptive statecharts for Evaluation of Critical Systems Specifications. In Proceedings. Unionville: System Safety Society. -
NLM
Almeida Junior JR de, Camargo Júnior JB. ECSS - A tool using adaptive statecharts for Evaluation of Critical Systems Specifications. Proceedings. 1999 ;[citado 2026 jan. 26 ] -
Vancouver
Almeida Junior JR de, Camargo Júnior JB. ECSS - A tool using adaptive statecharts for Evaluation of Critical Systems Specifications. Proceedings. 1999 ;[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
- 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
- A2CPS: a Vehicle-Centric Safety Conceptual Framework for Autonomous Transport Systems
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
