Towards modelling obligations in Event-B

ePubs

The open archive for STFC research publications

Persistent URL	http://purl.org/net/epubs/work/48911766
Record Status	Checked
Record Id	48911766
Title	Towards modelling obligations in Event-B
Contributors	J C Bicarregui (STFC Rutherford Appleton Lab.), A E Arenas (STFC Rutherford Appleton Lab.), B Aziz (STFC Rutherford Appleton Lab.), P Massonet (CETIC), C Ponsard (CETIC)
Abstract
Organisation	ESC , ESC-IM , STFC
Keywords
Funding Information	EC, FP6 IST project GridTrust (Project reference number 033817)
Related Research Object(s):	43601
Licence Information:
Language	English (EN)

Type	Details	URI(s)	Local file(s)	Year
Author Accepted Manuscript	Lecture Notes in Computer Science 5238 (2008): 181-194. Presented at: International Conference on Abstract State Machines, B and Z (ABZ 2008), London, United Kingdom, 16-18 Sep 2008.		STFC-AAM-2021-006.pdf	2008