Login / Signup
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants.
Françoise Bellegarde
Christophe Darlot
Jacques Julliand
Olga Kouchnarenko
Published in:
ZB (2000)
Keyphrases
</>
imperative programs
pattern recognition
dynamic behavior
dynamic environments
desirable properties
databases
information retrieval
search engine
information systems
similarity measure
color images
structural properties
topological properties