You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB
a logical geometry project

Fundamental Research on Detecting Contradictions in Requirements: Taxonomy and Semi-Automated Approach (2022)

Authors
Gärtner, Alexander Elenga
Fay, Tu-Anh
Göhlich, Dietmar
Journal
Applied Sciences, vol. 12, article nr. 7628, pp. 1–16
Language
English
DOI
doi:10.3390/app12157628
Diagrams (1)
p. 3
↑ Back to top ↑