Sciweavers

282 search results - page 57 / 57
» A Process Algebra Model of the Immune System
Sort
View
DEDS
2000
83views more  DEDS 2000»
13 years 5 months ago
Synthesis of Discrete-Event Controllers Based on the Signal Environment
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
Hervé Marchand, Patricia Bournai, Michel Le...
BIRTHDAY
2010
Springer
13 years 6 months ago
The Edge of Graph Transformation - Graphs for Behavioural Specification
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
Arend Rensink