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

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319577074, 9783319577081
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Instant-Based and State-Based Analysis of Infinite Logical Clock

2017 ◽  
pp. 32-51
Author(s):  
Qingguo Xu ◽  
Huaikou Miao ◽  
Robert de Simone ◽  
Julien DeAntoni

E-SSL: An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet

2017 ◽  
pp. 101-120
Author(s):  
Ren Zhao ◽  
Xiaohong Li ◽  
Guangquan Xu ◽  
Zhiyong Feng ◽  
Jianye Hao
Keyword(s):  
Mobile Internet

A Proof System for MSVL Programs in Coq

2017 ◽  
pp. 121-143
Author(s):  
Lin Qian ◽  
Zhenhua Duan ◽  
Nan Zhang ◽  
Cong Tian
Keyword(s):  
Proof System
Load More ...
Sign in / Sign up

Export Citation Format

Share Document