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

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

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

Description:

To persuade you that CSP || B is a natural technique for systems ... Circus Z & CSP (Woodcock/Cavalcanti 2002) Event B- (Abrial 1996 and RODIN Project 2005) ... – PowerPoint PPT presentation

Number of Views:32
Avg rating:3.0/5.0
Slides: 25
Provided by: Hel655
Category:
Tags: csp | cspb | http | introduction | org | woodcock | www

less

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