Análise e verificação de segmentos de via de uma malha metroviária (1999)
- Authors:
- USP affiliated authors: CAMARGO JÚNIOR, JOÃO BATISTA - EP ; ALMEIDA JUNIOR, JORGE RADY DE - EP
- Unidade: EP
- Subjects: PREVENÇÃO DE ACIDENTES; SISTEMAS DE CONTROLE
- Language: Português
- Imprenta:
- Publisher: Sociedade Brasileira de Computação
- Publisher place: Florianópolis
- Date published: 1999
- Source:
- Título do periódico: Proceedings
- Conference titles: Workshop on Formal Methods
-
ABNT
BONIFÁCIO, A. L. et al. Análise e verificação de segmentos de via de uma malha metroviária. 1999, Anais.. Florianópolis: Sociedade Brasileira de Computação, 1999. . Acesso em: 23 abr. 2024. -
APA
Bonifácio, A. L., Moura, A. V., Camargo Júnior, J. B., & Almeida Junior, J. R. de. (1999). Análise e verificação de segmentos de via de uma malha metroviária. In Proceedings. Florianópolis: Sociedade Brasileira de Computação. -
NLM
Bonifácio AL, Moura AV, Camargo Júnior JB, Almeida Junior JR de. Análise e verificação de segmentos de via de uma malha metroviária. Proceedings. 1999 ;[citado 2024 abr. 23 ] -
Vancouver
Bonifácio AL, Moura AV, Camargo Júnior JB, Almeida Junior JR de. Análise e verificação de segmentos de via de uma malha metroviária. Proceedings. 1999 ;[citado 2024 abr. 23 ] - 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
- Analise de seguranca de sistemas de controle metro-ferroviarios
- Principais aspectos da segurança em sistemas utilizados em áreas críticas
- 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
- The safety analysis case in the São Paulo Metro
- Safety systems in computer systems
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas