A Six-Valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
Research areas: |
|
Year: | 2006 | ||||
---|---|---|---|---|---|---|---|
Type of Publication: | Article | ||||||
Authors: | 12, 2 8 | ||||||
Journal: | Journal of Logic and Computation | Volume: | 16 | ||||
Number: | 2 | Pages: | 227-255 | ||||
Month: | April | ||||||
BibTex: |
|||||||