A survey on event-b decomposition

Metadata Label Value
Author(s): Hoang, Thai Son, Iliasov, Alexei, Silva, Renato A., Wei, Wei
Publisher: Eidgenössische Technische Hochschule Zürich
Citation:

Hoang, Thai Son, Iliasov, Alexei, Silva, Renato A. and Wei, Wei. A survey on event-b decomposition. Eidgenössische Technische Hochschule Zürich (2012). http://dx.doi.org/10.3929/ethz-a-007224650

Document Type: Conference Contributions  
Documents: Text (269.94KB)
Import to Mendeley

Detailed Information

Metadata Description
Title A survey on event-b decomposition
Author(s) Hoang, Thai Son
Iliasov, Alexei
Silva, Renato A.
Wei, Wei
Publication Place Zürich
Publisher Eidgenössische Technische Hochschule Zürich
Publication Date 2012
Notes Proceedings of the AVoCS 2011 Workshop
Series Electronic Communications of the EASST
Language English
DOI http://dx.doi.org/10.3929/ethz-a-007224650
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-5537-01.pdf application/pdf 269.94KB
Abstract Views and Downloads
Views 43  abstracts
Downloads 79  downloads

Abstract Views and Downloads by Country
Views 18  abstracts
Downloads 28  downloads
China Views abstracts
Downloads downloads
France Views abstracts
Downloads downloads
United States Views abstracts
Downloads downloads
Switzerland Views abstracts
Downloads downloads
Thailand Views abstracts
Downloads downloads
Germany Views abstracts
Downloads downloads
United Kingdom Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Brazil Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
Japan Views abstracts
Downloads downloads
Morocco Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Spain Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads


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