News

ECMS 2022 Best paper awards were given to: DIS 75Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control By Stefano Demarchi, Dario …

Sunnmøre Museum – with boat excursion Participants got a 2 hour trip on a Viking boat

The new website of ECMS is about to be launched!

Prof. Kishor Trivedi’s tutorial “Reliability and availability of hardware-software systems” at ECMS 2021 is available on YouTube

ECMS 2019 visit at Anfiteatro Campano, Capua, Italy