An Introduction to CSP B http:www'cspb'org - PowerPoint PPT Presentation

1 / 20
} ?>
View by Category
About This Presentation
Title:

An Introduction to CSP B http:www'cspb'org

Description:

Will the type of system to be described influence our choice of modelling language? ... CSP and Object-Z (Smith/Derrick 1997) CSP || B (Schneider/Treharne 1999, 2000) ... – PowerPoint PPT presentation

Number of Views:68
Avg rating:3.0/5.0
Slides: 21
Provided by: Hel655
Category:
Tags: csp | cspb | derrick | http | introduction | org | www

less

Write a Comment
User Comments (0)
About PowerShow.com