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

ISSN: 0955-792X 1465-363X

Datum der Publikation: 2006

Ausgabe: 16

Nummer: 2

Seiten: 227-255

Art: Artikel

DOI: 10.1093/LOGCOM/EXI076 GOOGLE SCHOLAR