IMBSA 2019 - 6th International Symposium on Model-Based Safety and Assessment

The 6th International Symposium on Model-Based Safety and Assessment (IMBSA 2019) will be held in Thessaloniki, Greece. IMBSA is the key event in the field of MBSA bringing together the latest developments in model-based engineering, formal techniques, probabilistic analyses and cutting edge optimisation to address hard problems in the design of safe complex systems including software intensive and open cyber-physical systems. The symposium provides a dedicated forum, where state-of-the-art research, leading edge technology and industrial experiences are brought together. The objectives are to present experiences and tools, to share ideas, and to consolidate and grow the community.