Liste als BibTeX-Datei exportieren

2014

• 2014 A pattern-based approach towards the guided reuse of safety mechanisms in the automotive domain Maged Khalil , Alejandro Prieto und Florian Hölzl In Proceedings of the International Symposium on Model-Based Safety and Assessment (IMBSA 2014), Band 8822 von LNCS, Seiten 137–151, 2014. Springer. Details DOI BIB

2013

• Mai 2013 Model-Based Safety Cases in AutoFOCUS3 (Tool Demonstration) Tim Kelly , Carmen Cârlan und Sebastian Voss In Proceedings of the 1st International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2013), Mai 2013. Details URL BIB
• 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

2012

• April 2012 Demo Abstract: An Inverted Pendulum demonstrator for Timed Model-based Design of Embedded Systems Kai Huang , Gang Chen , Nadine Keddis , Michael Geisinger und Christian Buckl In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS), Seiten 224, April 2012. Details DOI BIB