It Centre of Excellence EXCITE (Q3069262): Difference between revisions
Jump to navigation
Jump to search
(Changed label, description and/or aliases in de: translated_label) |
(Created claim: summary (P836): Das Konsortium wird grundlegende Theorien des Modells
Verifikation und Datenanalyse voranbringen. Auf dieser Grundlage wird es
Methoden und Werkzeuge für solide Praktiken der Konzeption und Analyse von
zuverlässigen und sicheren IKT-Systemen, die große Datenmengen verarbeiten, als
gefordert von Anwendungen auf Bereiche von hoher sozioökonomischer Relevanz
und robotische Systeme, eHealth
und biomedizinische Systeme., tran...) |
||||||||||||||
| Property / summary | |||||||||||||||
Das Konsortium wird grundlegende Theorien des Modells Verifikation und Datenanalyse voranbringen. Auf dieser Grundlage wird es Methoden und Werkzeuge für solide Praktiken der Konzeption und Analyse von zuverlässigen und sicheren IKT-Systemen, die große Datenmengen verarbeiten, als gefordert von Anwendungen auf Bereiche von hoher sozioökonomischer Relevanz und robotische Systeme, eHealth und biomedizinische Systeme. (German) | |||||||||||||||
| Property / summary: Das Konsortium wird grundlegende Theorien des Modells Verifikation und Datenanalyse voranbringen. Auf dieser Grundlage wird es Methoden und Werkzeuge für solide Praktiken der Konzeption und Analyse von zuverlässigen und sicheren IKT-Systemen, die große Datenmengen verarbeiten, als gefordert von Anwendungen auf Bereiche von hoher sozioökonomischer Relevanz und robotische Systeme, eHealth und biomedizinische Systeme. (German) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / summary: Das Konsortium wird grundlegende Theorien des Modells Verifikation und Datenanalyse voranbringen. Auf dieser Grundlage wird es Methoden und Werkzeuge für solide Praktiken der Konzeption und Analyse von zuverlässigen und sicheren IKT-Systemen, die große Datenmengen verarbeiten, als gefordert von Anwendungen auf Bereiche von hoher sozioökonomischer Relevanz und robotische Systeme, eHealth und biomedizinische Systeme. (German) / qualifier | |||||||||||||||
point in time: 30 November 2021
| |||||||||||||||
Revision as of 14:15, 30 November 2021
Project Q3069262 in Estonia
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | It Centre of Excellence EXCITE |
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
59°23'39.08"N, 24°40'11.50"E
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
Le consortium fera avancer les théories fondamentales du modèle vérification et analyse des données. Sur cette base, il développera des méthodes et des outils pour des pratiques saines de conception et d’analyse de des systèmes TIC fiables et sécurisés traitant de grands volumes de données, comme demandé par les applications à des domaines de grande pertinence socio-économique et aux systèmes robotiques, eHealth et les systèmes biomédicaux. (French)
26 November 2021
0 references
Das Konsortium wird grundlegende Theorien des Modells Verifikation und Datenanalyse voranbringen. Auf dieser Grundlage wird es Methoden und Werkzeuge für solide Praktiken der Konzeption und Analyse von zuverlässigen und sicheren IKT-Systemen, die große Datenmengen verarbeiten, als gefordert von Anwendungen auf Bereiche von hoher sozioökonomischer Relevanz und robotische Systeme, eHealth und biomedizinische Systeme. (German)
30 November 2021
0 references
Identifiers
2014-2020.4.01.15-0018
0 references