Rigorous State-Based Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

17
(FIVE YEARS 17)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030775421, 9783030775438
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams

2021 ◽  
pp. 3-16
Author(s):  
Zilinghan Li ◽  
Shilan He ◽  
Yiqing Du ◽  
Senén González ◽  
Klaus-Dieter Schewe

Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection

2021 ◽  
pp. 118-123
Author(s):  
Fengqing Jiang ◽  
Neng Xiong ◽  
Xinyu Lian ◽  
Senén González ◽  
Klaus-Dieter Schewe

scholarly journals Verifying System-Level Security of a Smart Ballot Box

2021 ◽  
pp. 34-49
Author(s):  
Dana Dghaym ◽  
Thai Son Hoang ◽  
Michael Butler ◽  
Runshan Hu ◽  
Leonardo Aniello ◽  
...  
Keyword(s):  
System Level

Extending ASMETA with Time Features

2021 ◽  
pp. 105-111
Author(s):  
Andrea Bombarda ◽  
Silvia Bonfanti ◽  
Angelo Gargantini ◽  
Elvinia Riccobene

scholarly journals Extensible Record Structures in Event-B

2021 ◽  
pp. 130-136
Author(s):  
Asieh Salehi Fathabadi ◽  
Colin Snook ◽  
Thai Son Hoang ◽  
Dana Dghaym ◽  
Michael Butler

scholarly journals The CamilleX Framework for the Rodin Platform

2021 ◽  
pp. 124-129
Author(s):  
Thai Son Hoang ◽  
Colin Snook ◽  
Dana Dghaym ◽  
Asieh Salehi Fathabadi ◽  
Michael Butler
Load More ...
Sign in / Sign up

Export Citation Format

Share Document