Sciweavers

40 search results - page 3 / 8
» eceasst 2010
Sort
View
ECEASST
2010
13 years 2 months ago
On A Graph Formalism for Ordered Edges
Maarten de Mol, Arend Rensink
ECEASST
2010
13 years 12 days ago
Distributed Graph-Based State Space Generation
Stefan Blom, Gijs Kant, Arend Rensink
ECEASST
2010
13 years 12 days ago
Modeling of Self-Organizing Systems: An Overview
Richard Holzer, Patrick Wüchner, Hermann de M...
ECEASST
2010
13 years 12 days ago
Incremental Pattern Matching in Graph-Based State Space Exploration
AmirHossein Ghamarian, Arash Jalali, Arend Rensink
ECEASST
2010
13 years 2 months ago
On Teaching Logic and Algebraic Specification
ation and logic. The logic courses mainly provided a very abstract and
Till Mossakowski