Decidability of Invariant Validation for Paramaterized Systems.

Pascal Fontaine E. Pascal Gribomont

Published in: TACAS (2003)

Keyphrases

intelligent systems
management system
computer systems
learning systems
artificial intelligence
image segmentation
multi agent
description logics
data management
knowledge based systems
building blocks
complex systems