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.
Revista:
Journal of Logic and Computation

ISSN: 0955-792X 1465-363X

Ano de publicación: 2006

Volume: 16

Número: 2

Páxinas: 227-255

Tipo: Artigo

DOI: 10.1093/LOGCOM/EXI076 GOOGLE SCHOLAR