Completeness and consistency in hierarchical state-based requirements
Year: 1996
Type: article
DOI: 10.1109/32.508311
Authors: M.P.E. Heimdahl, N.G. Leveson
Institutions: University of Minnesota, University of Washington
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2146191617