2 search results - page 1 / 1 » System Description: GrAnDe 1.0 |
111
Voted
CADE
2002
Springer
16 years 3 months ago
2002
Springer
169
Voted
DEDS
2000
15 years 3 months ago
2000
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...