Object Modelling in the SystemB Industrial Project

H Treharne; E Turner; S Schneider; N Evans

Back

Object Modelling in the SystemB Industrial Project

Conference proceeding

Peer reviewed

Object Modelling in the SystemB Industrial Project

H Treharne, E Turner, S Schneider and N Evans

ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, Vol.5238, pp.359-359

1st International Conference of Abstract State Machines, B and Z (London, ENGLAND, 16/09/2008 - 18/09/2008)

01/01/2008

Abstract

Science & Technology

Technology

Computer Science

Theory & Methods

Computer Science

Files and links (1)

url

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000260118300045&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11d2a86992e85fb529977dad66a846d5View

Author

Metrics

41 Record Views

Details

Title: Object Modelling in the SystemB Industrial Project
Creators: H Treharne
E Turner
S Schneider
N Evans
Contributors: E Borger
M Butler
JP Bowen
P Boca
SPRINGER-VERLAG BERLIN (Publisher)
Publication Details: ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, Vol.5238, pp.359-359
Conference: 1st International Conference of Abstract State Machines, B and Z (London, ENGLAND, 16/09/2008 - 18/09/2008)
Date published: 01/01/2008
Date submitted: 17/05/2017
Identifiers: 99514909402346
Academic Unit: University of Surrey
Resource Type: Conference proceeding

Object Modelling in the SystemB Industrial Project

Abstract

Files and links (1)

Metrics

Details

Usage Policy