Event-B patterns and their tool support

Metadata Label Value
Author(s): Hoang, Thai Son, Fürst, Andreas, Abrial, Jean-Raymond
Publisher: Eidgenössische Technische Hochschule Zürich
Citation:

Hoang, Thai Son, Fürst, Andreas and Abrial, Jean-Raymond. Event-B patterns and their tool support. Eidgenössische Technische Hochschule Zürich (2012). http://dx.doi.org/10.3929/ethz-a-007224905

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

Detailed Information

Metadata Description
Title Event-B patterns and their tool support
Author(s) Hoang, Thai Son
Fürst, Andreas
Abrial, Jean-Raymond
Publication Place Zürich
Publisher Eidgenössische Technische Hochschule Zürich
Publication Date 2012
Language English
DOI http://dx.doi.org/10.3929/ethz-a-007224905
Subject(s) Computer Systems
Keyword(s) SPECIFICATION LANGUAGES
SYSTEMS ANALYSIS
Organisational Unit Department of Computer Science
Online Publication Date 2012
Description File Name MIME Type Size
Text   eth-5538-01.pdf application/pdf 929.57KB
Abstract Views and Downloads
Views 55  abstracts
Downloads 114  downloads

Abstract Views and Downloads by Country
Views 24  abstracts
Downloads 45  downloads
United Kingdom Views abstracts
Downloads 11  downloads
China Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
Switzerland Views 10  abstracts
Downloads downloads
Tunisia Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Bulgaria Views abstracts
Downloads downloads
Colombia Views abstracts
Downloads downloads
Estonia Views abstracts
Downloads downloads
Morocco Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Slovakia Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Serbia and Montenegro Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads


E-Collection record created: Thu, 03 May 2012, 04:32:04 CET