Formal parameters synthesis for track segments of a subway mesh (2000)
- Autores:
- Autores USP: CAMARGO JÚNIOR, JOÃO BATISTA - EP ; ALMEIDA JUNIOR, JORGE RADY DE - EP
- Unidade: EP
- Assunto: TRÁFEGO FERROVIÁRIO
- Idioma: Inglês
- Imprenta:
- Editora: IEEE
- Local: Los Alamitos
- Data de publicação: 2000
- Fonte:
- Título do periódico: Proceedings
- Nome do evento: IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
-
ABNT
BONIFACIO, Adilson L et al. Formal parameters synthesis for track segments of a subway mesh. 2000, Anais.. Los Alamitos: IEEE, 2000. . Acesso em: 28 mar. 2024. -
APA
Bonifacio, A. L., Moura, A. V., Camargo Júnior, J. B., & Almeida Junior, J. R. de. (2000). Formal parameters synthesis for track segments of a subway mesh. In Proceedings. Los Alamitos: IEEE. -
NLM
Bonifacio AL, Moura AV, Camargo Júnior JB, Almeida Junior JR de. Formal parameters synthesis for track segments of a subway mesh. Proceedings. 2000 ;[citado 2024 mar. 28 ] -
Vancouver
Bonifacio AL, Moura AV, Camargo Júnior JB, Almeida Junior JR de. Formal parameters synthesis for track segments of a subway mesh. Proceedings. 2000 ;[citado 2024 mar. 28 ] - Applying HAZOP to a subway signaling system
- Uma lista de inspeção para a análise de software crítico
- Analise de seguranca de sistemas de controle metro-ferroviarios
- 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
- 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
- Safety systems in computer systems
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas