Application of Graph Transformation in Verification of Dynamic Systems.

Zarrin Langari Richard J. Trefler

Published in: IFM (2009)

Keyphrases

dynamic systems
graph transformation
complex systems
discrete event
dynamical systems
qualitative reasoning
consistency based diagnosis
model based diagnosis
particle filter
model checking
cooperative
qualitative and quantitative
face verification
ordinary differential equations