Difference between revisions of "IoTSec:T2.3"
From its-wiki.no
Josef.Noll (Talk | contribs) (Created page with "{{Task |Title=Formal technologies for semantic provability |Page Title=T2.3 Semantic Provability |Workpackage=IoTSec:WP2 |Lead partner=Ifi |Partner=UNIK, Ifi, |Objective=This...") |
(No difference)
|
Revision as of 21:14, 20 July 2015
| Security in IoT for Smart Grids | |||||||
|---|---|---|---|---|---|---|---|
|
|
T2.3 Semantic Provability
| Task Title | Formal technologies for semantic provability |
|---|---|
| WP | IoTSec:WP2 |
| Lead partner | Ifi |
| Leader | |
| Contributors | UNIK, Ifi |
| edit this task |
Objective
This task will establish formal technologies for semantic provability
| Category:Task |
Deliverables in T2.3 Semantic Provability
| Title | Due month | Lead partner | Editor | Dissemination level | |
|---|---|---|---|---|---|
| D2.3.1 | Semantic Provability Framework (draft) | M24 | Ifi | Olaf Owe | Public |
| D2.3.2 | Semantic Provability Framework (final) | M36 | Ifi | Olaf Owe | Public |
| D2.3.3 | Semantic Provability applied to Smart Grids | M48 | Ifi | Olaf Owe | Public |