Modelling and Verification of IEC 61499 Applications using Prolog.

Victor Dubinin Valeriy Vyatkin Hans-Michael Hanisch

Published in: ETFA (2006)

Keyphrases

control system
model checking
knowledge representation
logic programming
expert systems
search engine
databases
programming language
theorem proving
data mining
natural language
face verification
formal verification
concurrent systems
abstract machine