How to Verify Dynamic Properties of Information Systems.

Neil Evans Helen Treharne Régine Laleau Marc Frappier

Published in: SEFM (2004)

Keyphrases

information systems
dynamic behavior
databases
information technology
image processing
desirable properties
real time
neural network
machine learning
video sequences
computer systems
dynamic environments
structural properties
changing environment