An Event-B approach to Data Sharing Agreements

ePubs

The open archive for STFC research publications

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	AE Arenas (STFC Rutherford Appleton Lab.), B Aziz (STFC Rutherford Appleton Lab.), J Bicarregui (STFC Rutherford Appleton Lab.), MD Wilson (STFC Rutherford Appleton Lab.)
Abstract
Organisation	ESC , STFC
Keywords
Funding Information	EU, EU FP7 project Consequence (Context-Aware Data-Centric Information Sharing) (Grant 214859)
Related Research Object(s):	53886
Licence Information:
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