Login / Signup
What Causes a System to Satisfy a Specification?
Hana Chockler
Joseph Y. Halpern
Orna Kupferman
Published in:
CoRR (2003)
Keyphrases
</>
formal specification
decision making
specification language
high level
image segmentation
formal methods
user defined
expert systems
ims learning design
formal language
business rules
mobile robot
database
face recognition
three dimensional
artificial intelligence
databases