Implementability of requirements in the four-variable model
Under an Elsevier user license
open archive
Keywords
Safety-critical
Four-variable model
Implementability of requirements
Tolerances on requirements
Demonic calculus of relations
Cited by (0)
Copyright © 2015 Elsevier B.V. All rights reserved.