![]() |
Digitale Bibliotheek |
|
|||||||||||||||||||||||||||
Sluiten | Bladeren door artikelen uit een tijdschrift | ||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
![]() |
|||||||||||||||||||||||||||||
![]() |
|||||||||||||||||||||||||||||
![]() |
|||||||||||||||||||||||||||||
![]() |
|||||||||||||||||||||||||||||
Details van artikel 22 van 76 gevonden artikelen
|
|||||||||||||||||||||||||||||
DSM-based variable ordering heuristic for reduced computational effort of symbolic supervisor synthesis
⁎
⁎
Research leading to these results has received funding from the EU ECSEL Joint Undertaking under grant agreement n° 826452 (project Arrowhead Tools) and from the partners national programs/funding authorities. |
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Details van artikel 22 van 76 gevonden artikelen
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland |