Vingerafdruk
Duik in de onderzoeksthema's van 'Contract composition for dynamical control systems: Definition and verification using linear programming'. Samen vormen ze een unieke vingerafdruk.- Sorteer per
- Gewicht
- Alfabetische volgorde
Contract composition for dynamical control systems: Definition and verification using linear programming
Miel Sharf*, Bart Besselink, Karl Henrik Johansson
*Corresponding author voor dit werk
Onderzoeksoutput: Article › Academic › peer review
11
Downloads
(Pure)