From Action Systems to Distributed Systems
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Chapman And Hall/CRC

9781498701587, 9781498701594
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Provably Correct Resilience Mediator Pattern

2016 ◽  
pp. 125-139
Author(s):  
Mats Neovius ◽  
Mauno Rönkkö ◽  
Marina Waldén

Mandatory and Potential Choice: Comparing Event-B and STAIRS

2016 ◽  
pp. 15-27
Author(s):  
Atle Refsdal ◽  
Ragnhild Runde ◽  
Ketil Stølen

Integrating Refinement-Based Methods for Developing Timed Systems

2016 ◽  
pp. 171-185 ◽  
Author(s):  
Jüri Vain ◽  
Leonidas Tsiopoulos ◽  
Pontus Boström
Keyword(s):  
Timed Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document