Preprint
Assurance via workflow+ modelling and conformance
Abstract
We propose considering assurance as a model management enterprise: saying
that a system is safe amounts to specifying three workflows modelling how the
Authors
Diskin Z; Annable N; Wassyng A; Lawford M
Publication date
December 20, 2019
DOI
10.48550/arxiv.1912.09912
Preprint server
arXiv