Contributions are invited in all areas pertaining to the engineering of hybrid systems including: modelling, specification, verification, analysis, control synthesis, simulation, validation, and ...
Computer Security’s Place in the Nuclear Sector and Beyond Regulatory Frameworks Capacity & Competency Management for Computer Security and Sustainability Threats and Risks Computer Security by Design ...
Contributions on the topics listed in the Conference Announcement under Section C are welcome as oral or poster presentations. All submissions, apart from invited papers, must present original work, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback