A six-valued logic to reason about uncertainty and inconsistency in requirements specifications

  1. García-Duque, J.
  2. López-Nores, M.
  3. Pazos-Arias, J.J.
  4. Fernández-Vilas, A.
  5. Díaz-Redondo, R.P.
  6. Gil-Solla, A.
  7. Blanco-Fernández, Y.
  8. Ramos-Cabrer, M.
Revue:
Journal of Logic and Computation

ISSN: 0955-792X 1465-363X

Année de publication: 2006

Volumen: 16

Número: 2

Pages: 227-255

Type: Article

DOI: 10.1093/LOGCOM/EXI076 GOOGLE SCHOLAR