An incremental approach for hardware discrete...
URL: https://theses.hal.science/tel-00679296
Dataset description:
The Discrete Controller Synthesis (DCS) technique is used for automatic generation of correct-by-construction hardware controllers. For a given plant (a state-based model), and...
Source: An incremental approach for hardware discrete controller synthesis
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 24, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 2 months ago |
| Id | 19b9587c-e974-4ea9-a91a-ab05b125efa9 |
| Package id | oai-hal-tel-00679296v1 |
| Resource type | HTML |
| State | active |