ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees (2026)
- Authors:
- Autor USP: BRANCO, KALINKA REGINA LUCAS JAQUIE CASTELO - ICMC
- Unidade: ICMC
- DOI: 10.1007/978-3-032-05073-1_20
- Subjects: SISTEMAS AUTÔNOMOS; FALHAS COMPUTACIONAIS
- Keywords: Cyber-physical systems; Model-based system assurance; Assurance cases; Fault tree analysis
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Lecture Notes in Computer Science - LNCS
- Volume/Número/Paginação/Ano: v. 15755, p. 299-317, 2026
- Conference titles: International Symposium on Model-Based Safety and Assessment - IMBSA
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
NASCIMENTO, Luis et al. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees. Lecture Notes in Computer Science - LNCS. Cham: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/978-3-032-05073-1_20. Acesso em: 23 jan. 2026. , 2026 -
APA
Nascimento, L., Oliveira, A. L., Villela, R., Fonseca, H., Branco, K. R. L. J. C., Wei, R., et al. (2026). ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees. Lecture Notes in Computer Science - LNCS. Cham: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. doi:10.1007/978-3-032-05073-1_20 -
NLM
Nascimento L, Oliveira AL, Villela R, Fonseca H, Branco KRLJC, Wei R, Hawkins R, Kelly TP. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees [Internet]. Lecture Notes in Computer Science - LNCS. 2026 ; 15755 299-317.[citado 2026 jan. 23 ] Available from: https://doi.org/10.1007/978-3-032-05073-1_20 -
Vancouver
Nascimento L, Oliveira AL, Villela R, Fonseca H, Branco KRLJC, Wei R, Hawkins R, Kelly TP. ACEditor: a modeling tool for specifying and synthesizing executable assurance cases from fault trees [Internet]. Lecture Notes in Computer Science - LNCS. 2026 ; 15755 299-317.[citado 2026 jan. 23 ] Available from: https://doi.org/10.1007/978-3-032-05073-1_20 - Free-fall in a uniform gravitational field in noncommutative quantum mechanics
- Extensão da ferramenta de apoio à programação paralela (F.A.P.P.) para ambientes paralelos virtuais
- Bateria de longa duração é destaque de laptop de 2 kg
- Estimativa de posição 3D de obstáculos para VANTs
- Cognitive radio for UAV communications: opportunities and future challenges
- Framework de ensino de programação para crianças e jovens por meio de aprendizado baseado em projetos usando computação tangível, storytelling, internet das coisas e sistemas embarcados
- International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2018 [Introduction]
- The HAMSTER data communication architecture for unmanned aerial, ground and aquatic systems
- Uso de imagens aéreas obtidas por veículos aéreos não tripulados (VANT’S) na detecção de doenças em eucalipto
- The 6th IEEE International Workshop on safety and security of intelligent vehicles... [Prefácio]
Informações sobre o DOI: 10.1007/978-3-032-05073-1_20 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
