Towards Efficient Verification of Systems with Dynamic Process Creation.

Hanna Klaudel Maciej Koutny Elisabeth Pelz Franck Pommereau

Published in: ICTAC (2008)

Keyphrases

expert systems
user interface
computationally efficient
real time
real world
information systems
distributed systems
dynamic environments
building blocks
learning systems
complex systems
process model
computing systems
formal methods
automated verification