Contributions are invited in all areas pertaining to the engineering of hybrid systems including: modelling, specification, verification, analysis, control synthesis, simulation, validation, and ...
Contributions on the topics listed in Section C are welcome as oral or poster presentations. All submissions, apart from invited papers, must present original work, which has not been published ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results