Liste als BibTeX-Datei exportieren

2024

• November 2024 Continuous safety & security evidence generation, curation and assurance case construction using the Evidential Tool Bus Natarajan Shankar , Minyoung Kim , Huascar Sanchez , Harald Rueß , Tewodros Beyene , Radouane Bouchekir und et al. In 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), November 2024. IEEE. Details URL DOI BIB

2021

• Februar 2021 RMC Factory: A New Approach for Avionics Software Reuse Laurent Dieudonne , Andreas Bayha und Benedikt Müller In 3rd Workshop on Avionics Systems and Software Engineering (AvioSE21, SE 2021 Satellite Events), Band 2814, Februar 2021. CEUR-WS. Details URL BIB

2013

• 2013 Towards Modular Certification using Integrated Model-Based Safety Cases Sebastian Voss , Bernhard Schätz , Maged Khalil und Carmen Cârlan In Proceedings of the International Workshop on Verification and Assurance (VeriSure 2013) (co-located with CAV), 2013. Springer. Details URL BIB