Click on a search word OR use the drop-down choices to search for a paper.

Show all

2015

Patcas, Lucian M; Lawford, Mark; Maibaum, Tom

Implementability of Requirements in the Four-Variable Model Journal Article

In: Science of Computer Programming, vol. 111, no. 2, pp. 339–362, 2015.

BibTeX | Tags: demonic calculus of relations, four-variable model, implentability of requirements, safety-critical, tolerances on requirements