Verification of Parallel Systems via Decomposition.

Jan Friso Groote Faron Moller

Published in: CONCUR (1992)

Keyphrases

real time
distributed systems
embedded systems
databases
neural network
genetic algorithm
artificial intelligence
knowledge base
website
expert systems
building blocks
learning systems
complex systems
formal verification
high end
asynchronous circuits