Skip to content

Deriving Safety Assurance Case Argumentation from WF+ Models.

Nicholas Annable

VenueAMODELS
Year2023
ProceedingsMoDELS (Companion)

Browse the full MODELS paper archive.