Periodic Reporting for period 3 - IMMORTAL (Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems)

In IMMORTAL, a consortium of leading European academic and industrial players combined their expertise in developing an integrated, cross-layer modelling based tool framework for fault management, verification and reliable design of dependable cyber-physical systems.Recently...