Automatic Synthesis and Verification of Compliance Mappings.

Stavros G. Vougioukas Susan N. Gottschlich

Published in: ICRA (1) (1993)

Keyphrases

semi automatic
fully automatic
expert systems
image segmentation
database systems
formal verification