Landing system verification based on petri nets and a hybrid approach (2006)
- Autores:
- Autor USP: MIYAGI, PAULO EIGI - EP
- Unidade: EP
- DOI: 10.1109/taes.2006.314582
- Assuntos: AERONAVES; SISTEMAS DE CONTROLE; REDES DE PETRI
- Idioma: Inglês
- Imprenta:
- Fonte:
- Título do periódico: IEEE Transactions on Aerospace and Electronic Systems
- ISSN: 0018-9251
- Volume/Número/Paginação/Ano: v. 42, n. 4, p. 1420-1436, Oct. 2006
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
VILLANI, Emília e VALETTE, Robert e MIYAGI, Paulo Eigi. Landing system verification based on petri nets and a hybrid approach. IEEE Transactions on Aerospace and Electronic Systems, v. 42, n. 4, p. 1420-1436, 2006Tradução . . Disponível em: https://doi.org/10.1109/taes.2006.314582. Acesso em: 23 abr. 2024. -
APA
Villani, E., Valette, R., & Miyagi, P. E. (2006). Landing system verification based on petri nets and a hybrid approach. IEEE Transactions on Aerospace and Electronic Systems, 42( 4), 1420-1436. doi:10.1109/taes.2006.314582 -
NLM
Villani E, Valette R, Miyagi PE. Landing system verification based on petri nets and a hybrid approach [Internet]. IEEE Transactions on Aerospace and Electronic Systems. 2006 ; 42( 4): 1420-1436.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1109/taes.2006.314582 -
Vancouver
Villani E, Valette R, Miyagi PE. Landing system verification based on petri nets and a hybrid approach [Internet]. IEEE Transactions on Aerospace and Electronic Systems. 2006 ; 42( 4): 1420-1436.[citado 2024 abr. 23 ] Available from: https://doi.org/10.1109/taes.2006.314582 - Controle de sistemas de eventos discretos: aplicação em automação industrial
- Aplicação de redes na modelagem de sistemas de elevadores em edifícios inteligentes
- Metodologia para modelagem de sistemas de ar condicionado em edifícios inteligentes
- Supervisor system for detection and treatment of failures in manufacturing systems using distributed Petri nets
- Redes de Petri e orientação a objetos para o desenvolvimento de sistemas hídricos
- Distributed nets for analysis and integration of systems
- Metodologia para a modelagem de sistemas C³I como SEDS
- An object-oriented approach for hybrid system modelling
- Balanced automation systems
- Modeling C3I systems for warship through the PFS/MFG methodology
Informações sobre o DOI: 10.1109/taes.2006.314582 (Fonte: oaDOI API)
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
Miyagi-2006-Landing syste... |
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas