Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 13)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030774738, 9783030774745
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Runtime Verification of Ethereum Smart Contracts Based on MSVL

2021 ◽  
pp. 142-153
Author(s):  
Bin Yu ◽  
Xu Lu ◽  
Hao Chen ◽  
Ming Lei ◽  
Xiaobing Wang
Keyword(s):  
Runtime Verification ◽  
Smart Contracts

A Formal Approach to Secure Design of RESTful Web APIs Using SOFL

2021 ◽  
pp. 105-125
Author(s):  
Busalire Emeka ◽  
Soichiro Hidaka ◽  
Shaoying Liu
Keyword(s):  
Formal Approach

Formalizing Spark Applications with MSVL

2021 ◽  
pp. 193-204
Author(s):  
Meng Wang ◽  
Shushan Li
Load More ...
Sign in / Sign up

Export Citation Format

Share Document