For detailed information on the Conference Topics, Submission of Synopses and Contributions, please see para C., D., and E. of the Conference Announcement, available under Related Resources. Papers ...
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