IoTSec:D2.3.2 of IoTSec is part of IoTSec:WP2 in Task IoTSec:T2.3
Title: Semantic Provability Framework (final)
The deliverable is Public, due date is month M36.
Lead partner of this deliverable is Ifi, main and responsible editor is Olaf Owe
this page was created by Form:Deliverable, and can be edited by Special:FormEdit/Deliverable/IoTSec:D2.3.2
The deliverable is found here: