Extended abstracts should be 250–600 words and may include visuals or references. Accepted abstracts will be published online, and selected contributors will ...
Contributions are invited in all areas pertaining to the engineering of hybrid systems including: modelling, specification, verification, analysis, control synthesis, simulation, validation, and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results