certainty
Home
About CERTAINTY
Objectives
Technical approach
Demonstration and Use
Impact
Project
Project structure
WP1 - Requirements
WP2 - Common Languages and Models
WP3 - Resources Access Identification and Static Timing Analysis
WP4 - Reliability
WP5 - Interference
WP6 - Formal Component Based Design and Validation
WP7 - System Synthesis
WP8 - Industrial Validation
WP9 - Dissemination and Exploitation
WP10 - Management
Partners
Partners-profile and main contributions
Publications
Publication
Deliverables
Links
Contact
News
No news at this moment
See all news
Sitemap
Objectives
Menu :
Objectives
Description :
Keywords :
()
Technical approach
Menu :
Technical approach
Description :
Keywords :
()
Demonstration and Use
Menu :
Demonstration and Use
Description :
Keywords :
()
Impact
Menu :
Impact
Description :
Keywords :
()
Project structure
Menu :
Project structure
Description :
Keywords :
()
WP1 - Requirements
Menu :
WP1 - Requirements
Description :
Keywords :
()
WP2 - Common Languages and Models
Menu :
WP2 - Common Languages and Models
Description :
Keywords :
()
WP3 - Resources Access Identification and Static Timing Analysis
Menu :
WP3 - Resources Access Identification and Static Timing Analysis
Description :
Keywords :
()
WP4 - Reliability
Menu :
WP4 - Reliability
Description :
Keywords :
()
WP5 - Interference
Menu :
WP5 - Interference
Description :
Keywords :
()
WP6 - Formal Component Based Design and Validation
Menu :
WP6 - Formal Component Based Design and Validation
Description :
Keywords :
()
WP7 - System Synthesis
Menu :
WP7 - System Synthesis
Description :
Keywords :
()
WP8 - Industrial Validation
Menu :
WP8 - Industrial Validation
Description :
Keywords :
()
WP9 - Dissemination and Exploitation
Menu :
WP9 - Dissemination and Exploitation
Description :
Keywords :
()
WP10 - Management
Menu :
WP10 - Management
Description :
Keywords :
()
Partners-profile and main contributions
Menu :
Partners-profile and main contributions
Description :
Keywords :
()
Publication
Menu :
Publication
Description :
Keywords :
()
Deliverables
Menu :
Deliverables
Description :
Keywords :
()