Checking Secure Information Flow of CoCoME using UPPAAL
Tags
Data and Resources
To access the resources you must log in
This item has no data
Item URL
http://data.d4science.org/ctlg/RISIS2OpenData/dedup_wf_001--f9a6949c60aa93e6f690bed07e8613fb |
|
Identity
Access Modality
Field | Value |
---|---|
Access Right | Open Access |
Attribution
Field | Value |
---|---|
Author | Gerking, Christopher, 0000-0001-5531-9607 |
Publishing
Field | Value |
---|---|
Collected From | Zenodo; figshare; Datacite |
Hosted By | Zenodo; figshare |
Publication Date | 2019-02-07 |
Publisher | Figshare |
Additional Info
Field | Value |
---|---|
Language | UNKNOWN |
Resource Type | Dataset |
system:type | dataset |
Management Info
Field | Value |
---|---|
Source | https://science-innovation-policy.openaire.eu/search/dataset?datasetId=dedup_wf_001::f9a6949c60aa93e6f690bed07e8613fb |
Author | jsonws_user |
Last Updated | 7 January 2021, 10:20 (CET) |
Created | 7 January 2021, 10:20 (CET) |