Application of visual specifications for verification of distributed controllers.

Valeriy Vyatkin Hans-Michael Hanisch

Published in: SMC (2001)

Keyphrases

model checking
automated verification
high level
cooperative
formal verification
neural network
distributed data
data mining
information retrieval
information systems
distributed systems
distributed environment
face verification
code generation