Lecture Notes in Computer Science - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319912707, 9783319912714
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Systematic Generation of Non-equivalent Expressions for Relational Algebra

2018 ◽  
pp. 105-120 ◽  
Author(s):  
Kaiyuan Wang ◽  
Allison Sullivan ◽  
Manos Koukoutos ◽  
Darko Marinov ◽  
Sarfraz Khurshid
Keyword(s):  
Relational Algebra ◽  
Equivalent Expressions

scholarly journals The Hybrid ERTMS/ETCS Level 3 Case Study

2018 ◽  
pp. 251-261 ◽  
Author(s):  
Thai Son Hoang ◽  
Michael Butler ◽  
Klaus Reichl
Keyword(s):  
Level 3

scholarly journals Proposition of an Action Layer for Electrum

2018 ◽  
pp. 397-402 ◽  
Author(s):  
Julien Brunel ◽  
David Chemouil ◽  
Alcino Cunha ◽  
Thomas Hujsa ◽  
Nuno Macedo ◽  
...  

Capturing Membrane Computing by ASMs

2018 ◽  
pp. 380-385
Author(s):  
Klaus-Dieter Schewe ◽  
Loredana Tec ◽  
Qing Wang
Keyword(s):  
Membrane Computing

Distributed Adaptive Systems

2018 ◽  
pp. 16-30 ◽  
Author(s):  
Klaus-Dieter Schewe ◽  
Flavio Ferrarotti ◽  
Loredana Tec ◽  
Qing Wang
Keyword(s):  
Adaptive Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document