ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/48912648
Record Status Checked
Record Id 48912648
Title An Event-B approach to Data Sharing Agreements
Contributors
Abstract
Organisation ESC , STFC
Keywords
Funding Information EC, EU FP7 project Consequence (Context-Aware Data-Centric Information Sharing) (Grant 214859)
Related Research Object(s): 53886
Language English (EN)
Type Details URI(s) Local file(s) Year
Author Accepted Manuscript Lecture Notes in Computer Science 6396 (2010): 28-42. Presented at: 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, France, 11-14 Oct 2010. STFC-AAM-2021-008.pdf 2010