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

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783319174037, 9783319174044
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Semantics of Orc Based on TLA $$^+$$

2015 ◽  
pp. 147-163 ◽  
Author(s):  
Zhen You ◽  
Jinyun Xue ◽  
Qimin Hu ◽  
Yi Hong
Keyword(s):  
Formal Semantics

Automatic Verification for Later-Correspondence of Security Protocols

2015 ◽  
pp. 111-126 ◽  
Author(s):  
Xiaofei Xie ◽  
Xiaohong Li ◽  
Yang Liu ◽  
Li Li ◽  
Ruitao Feng ◽  
...  
Keyword(s):  
Security Protocols ◽  
Automatic Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document