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