Login / Signup
On the Use of a High-Level Fault Model to Check Properties Incompleteness.
Franco Fummi
Graziano Pravadelli
Andrea Fedeli
Umberto Rossi
Franco Toto
Published in:
MEMOCODE (2003)
Keyphrases
</>
high level
fault model
low level
higher level
missing values
constraint satisfaction
lower level