Home
Interesting shortcuts
Projects
Projects
Resources
Resources
Programmes and Partnerships
Search
EU-Programme-Call
European Partnerships
www.decubber.com
Login
Resource
IMMORTAL-324855
Dynamic, semi-formal and formal reliability analysis tools
Summary
report
More information & hyperlinks
Web resources:
https://www.ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5b0bdeb68&appId=PPGMS
Search
Associated projects
IMMORTAL - Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems
Organisations
Not specified