Author:
Sljivo Irfan,Gallina Barbara,Carlson Jan,Hansson Hans
Publisher
Springer International Publishing
Reference17 articles.
1. CHESS-toolset:
http://www.chess-project.org/page/download
2. GSN Community Standard Version 1. Technical report, Origin Consulting (York) Limited (November 2011)
3. Armengaud, E.: Automated safety case compilation for product-based argumentation. In: Embedded Real Time Software and Systems (ERTS) (February 2014)
4. Bate, I., Conmy, P.: Assuring Safety for Component Based Software Engineering. In: 15th IEEE International Symposium on High Assurance Systems Engineering (HASE) (January 2014)
5. Bate, I., Hansson, H., Punnekkat, S.: Better, faster, cheaper, and safer too - is this really possible? In: 17th IEEE Int’l Conf. on Emerging Technologies for Factory Automation (ETFA). IEEE (September 2012)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Development of the System Assurance Reference Model for Generating Modular Assurance Cases;2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC);2023-10-24
2. Deriving Safety Assurance Case Argumentation from WF+ Models;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
3. Development of Structured Arguments for Assurance Case;Studies in Computational Intelligence;2021
4. Constructing product-line safety cases from contract-based specifications;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08
5. Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation;Reliable Software Technologies – Ada-Europe 2018;2018