21 search results - page 5 / 5 » Incremental Component-Based Construction and Verification of... |
DEDS
2000
13 years 5 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...