C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Graphical Tool for Testing Timed Systems based on Meta- Modeling and Graph Grammars
Hiba Hachichi
Ilham Kitouni
Kenza Bouaroudj
Djamel-Eddine Saïdouni
Published in:
CoRR (2012)
Keyphrases
</>
graph grammars
petri net
knowledge base
probabilistic model
graphical models
similarity search