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 |
---|