Formal parameters synthesis for track segments of a subway mesh (2000)
- Authors:
- USP affiliated authors: CAMARGO JÚNIOR, JOÃO BATISTA - EP ; ALMEIDA JUNIOR, JORGE RADY DE - EP
- Unidade: EP
- Assunto: TRÁFEGO FERROVIÁRIO
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Los Alamitos
- Date published: 2000
- Source:
- Título do periódico: Proceedings
- Conference titles: 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: 19 set. 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 set. 19 ] -
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 set. 19 ] - Applying HAZOP to a subway signaling system
- Uma lista de inspeção para a análise de software crítico
- 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
- 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