Login / Signup
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