2017

  • Assurance Case Integration with System Models

      Assurance cases, and safety cases in particular, often refer to the specific elements of the system for which safety and other properties are argued. All the references should be precisely and unambiguously specified. The solution which would ensure the completeness and correctness of the relations can be based on formal connection of argument elements […]