The Need for Compositional Proof Systems: A Survey.

Willem P. de Roever

Published in: COMPOS (1997)

Keyphrases

complex systems
management system
distributed systems
building blocks
neural network
multiresolution
computer systems
real time
real world
genetic algorithm
website
database systems
expert systems
intelligent systems