Combining the Design of Industrial Systems with Effective Verification Techniques.

Jorge Cuéllar Isolde Wildgruber Dieter Barnard

Published in: FME (1994)

Keyphrases

industrial systems
industrial applications
image processing
multi agent systems
expert systems
model checking
database
real time
databases
artificial intelligence
information systems
metadata
multimedia
building blocks
computer aided