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

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783319901039, 9783319901046
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Cooperative Graph Searching Problem

2018 ◽  
pp. 39-47
Author(s):  
Chin-Fu Lin ◽  
Ondřej Navrátil ◽  
Sheng-Lung Peng
Keyword(s):  
Graph Searching

Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach

2018 ◽  
pp. 51-68
Author(s):  
Haitao Zhang ◽  
Zhuo Cheng ◽  
Jianxin Xue ◽  
Yonggang Lu

A Framework Based on MSVL for Verifying Probabilistic Properties in Social Networks

2018 ◽  
pp. 133-147
Author(s):  
Xiaobing Wang ◽  
Liyuan Ren ◽  
Liang Zhao ◽  
Xinfeng Shu
Keyword(s):  
Social Networks

Extending UML for Model Checking

2018 ◽  
pp. 88-107 ◽  
Author(s):  
Xinfeng Shu ◽  
Mengnan Wang ◽  
Xiaobing Wang
Keyword(s):  
Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document