The main theme of the Conference is to bring lessons learned from past experiences to drive future advancements in nuclear installation safety, which implies covering the wide range of nuclear safety ...
Contributions are invited in all areas pertaining to the engineering of hybrid systems including: modelling, specification, verification, analysis, control synthesis, simulation, validation, and ...