Automated Method for Assurance Case Construction from System Design Models

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 24, 2021
Source ID
10.1109/icsrs53853.2021.9660735

Entities

People

  • Abhishek Dubey
  • Charles Hartsell
  • Gabor Karsai
  • Nagabhushan Mahadevan

Organizations

  • Air Force Research Laboratory