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

ISSN: 0955-792X 1465-363X

Argitalpen urtea: 2006

Alea: 16

Zenbakia: 2

Orrialdeak: 227-255

Mota: Artikulua

DOI: 10.1093/LOGCOM/EXI076 GOOGLE SCHOLAR