Modeling in Event-B
Latest Publications

TOTAL DOCUMENTS

19
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Cambridge University Press

9781139195881
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Development of a concurrent program

2013 ◽  
pp. 227-257
Author(s):  
Jean-Raymond Abrial
Keyword(s):  
Concurrent Program

Synchronizing a tree-shaped network

2013 ◽  
pp. 367-386
Author(s):  
Jean-Raymond Abrial

A mechanical press controller

2013 ◽  
pp. 100-148 ◽  
Author(s):  
Jean-Raymond Abrial
Keyword(s):  
Mechanical Press

Problems

2013 ◽  
pp. 550-583
Author(s):  
Jean-Raymond Abrial
Load More ...
Sign in / Sign up

Export Citation Format

Share Document