Specifying access control in Event-B

Metadata Label Value
Author(s): Hoang, Thai Son, Basin, David A., Abrial, Jean-Raymond
Publisher: ETH, Department of Computer Science
Citation:

Hoang, Thai Son, Basin, David A. and Abrial, Jean-Raymond. Specifying access control in Event-B. ETH, Department of Computer Science (2009). http://dx.doi.org/10.3929/ethz-a-006733720

Document Type: Reports  
Documents: Text (195.51KB)
Import to Mendeley

Detailed Information

Metadata Description
Title Specifying access control in Event-B
Author(s) Hoang, Thai Son
Basin, David A.
Abrial, Jean-Raymond
Publication Place Zurich
Publisher ETH, Department of Computer Science
Publication Date 2009
Series [Technical report / ETH, Department of Computer Science] [624]
Language English
DOI http://dx.doi.org/10.3929/ethz-a-006733720
Subject(s) Software
Keyword(s) ACCESS CONTROL
SPECIFICATION LANGUAGES
Organisational Unit Department of Computer Science
Online Publication Date 2011
Description File Name MIME Type Size
Text   eth-4727-01.pdf application/pdf 195.51KB
Abstract Views and Downloads
Views 36  abstracts
Downloads 82  downloads

Abstract Views and Downloads by Country
Views 18  abstracts
Downloads 27  downloads
France Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
China Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Tunisia Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Korea, Republic of Views abstracts
Downloads downloads
Morocco Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Estonia Views abstracts
Downloads downloads
Hong Kong Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Vietnam Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads


E-Collection record created: Sat, 10 Dec 2011, 06:11:24 CET