Proof Systems for Structured Specifications with Observability Operators.

Rolf Hennicker Martin Wirsing Michel Bidoit

Published in: Theor. Comput. Sci. (1997)

Keyphrases

distributed systems
intelligent systems
real time
management system
morphological operators
artificial intelligence
case study
database systems
multiscale
building blocks
learning systems
structured data
complex systems