Browse wiki
| IoTSec:T2.3 |
| HasCategory | Task + |
|---|---|
| Has result | a non-trivial case study (M12) + , a tool for semantic provability (M48) + , a minimum of 3 papers, including one journal paper (M12-36) + |
| Lead partner | Ifi + |
| Objective | This task will establish formal technologies for semantic provability + |
| Page Link | [[IoTSec:T2.3|T2.3 Semantic Provability]] + |
| Page Title | T2.3 Semantic Provability + |
| Partner | ITS + , NR + |
| Title | Formal technologies for semantic provability + |
| Workpackage | IoTSec:WP2 + |
| Has queryThis property is a special property in this wiki. | IoTSec:T2.3 + , IoTSec:T2.3 + , IoTSec:T2.3 + |
| Creation dateThis property is a special property in this wiki. | 20 July 2015 21:14:12 + |
| Categories | Task + |
| Modification dateThis property is a special property in this wiki. | 27 August 2015 14:53:05 + |
| hide properties that link here |
| IoTSec:D2.3.1 + , IoTSec:D2.3.2 + , IoTSec:D2.3.3 + | Task number |
|---|
