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 …
Social Event at ECMS 2022
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!
Trivedi’s tutorial is online
Prof. Kishor Trivedi’s tutorial “Reliability and availability of hardware-software systems” at ECMS 2021 is available on YouTube
A night in the history at ECMS 2019
ECMS 2019 visit at Anfiteatro Campano, Capua, Italy