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 ...

If you ever write any sort of research paper, you are likely to need an abstract. But what is an abstract for? What should go into one? What makes one effective? This resource will provide a brief ...