Q3069262 (Q3069262): Difference between revisions
Jump to navigation
Jump to search
(Changed label, description and/or aliases in en: Setting new description) |
(Created claim: summary (P836): The consortium will advance foundational theories of model
verification and data analysis. On this Groundwork, it will develop
methods and tools for sound practices of designing and analysing
reliable and secure ICT systems processing large data volumes, as
demanded by applications to domains of high socioeconomic relevance
and robotic systems, eHealth
and biomedical systems., translated_summary) |
||||||||||||||
| Property / summary | |||||||||||||||
The consortium will advance foundational theories of model verification and data analysis. On this Groundwork, it will develop methods and tools for sound practices of designing and analysing reliable and secure ICT systems processing large data volumes, as demanded by applications to domains of high socioeconomic relevance and robotic systems, eHealth and biomedical systems. (English) | |||||||||||||||
| Property / summary: The consortium will advance foundational theories of model verification and data analysis. On this Groundwork, it will develop methods and tools for sound practices of designing and analysing reliable and secure ICT systems processing large data volumes, as demanded by applications to domains of high socioeconomic relevance and robotic systems, eHealth and biomedical systems. (English) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / summary: The consortium will advance foundational theories of model verification and data analysis. On this Groundwork, it will develop methods and tools for sound practices of designing and analysing reliable and secure ICT systems processing large data volumes, as demanded by applications to domains of high socioeconomic relevance and robotic systems, eHealth and biomedical systems. (English) / qualifier | |||||||||||||||
point in time: 16 August 2021
| |||||||||||||||
Revision as of 11:58, 16 August 2021
Project Q3069262 in Estonia
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
Project Q3069262 in Estonia |
Statements
4,311,190.43 Euro
0 references
5,071,988.75 Euro
0 references
85.0 percent
0 references
1 January 2016
0 references
1 March 2023
0 references
Tallinna Tehnikaülikool
0 references
19086
0 references
The consortium will advance foundational theories of model verification and data analysis. On this groundwork, it will develop methods and tools for sound practices of designing and analyzing reliable and secure ICT systems processing large data volumes, as demanded by applications to domains of high socioeconomic relevance (cyberphysical and robotic systems, ehealth and biomedical systems). (Estonian)
0 references
The consortium will advance foundational theories of model verification and data analysis. On this Groundwork, it will develop methods and tools for sound practices of designing and analysing reliable and secure ICT systems processing large data volumes, as demanded by applications to domains of high socioeconomic relevance and robotic systems, eHealth and biomedical systems. (English)
16 August 2021
0 references
Identifiers
2014-2020.4.01.15-0018
0 references