Dependable Software Engineering. Theories, Tools, and Applications - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783030628215, 9783030628222
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Randomized Refinement Checking of Timed I/O Automata

2020 ◽  
pp. 70-88
Author(s):  
Andrej Kiviriga ◽  
Kim Guldstrand Larsen ◽  
Ulrik Nyman
Keyword(s):  
Refinement Checking

Modelling and Implementation of Unmanned Aircraft Collision Avoidance

2020 ◽  
pp. 52-69
Author(s):  
Weizhi Feng ◽  
Cheng-Chao Huang ◽  
Andrea Turrini ◽  
Yong Li
Keyword(s):  
Collision Avoidance ◽  
Unmanned Aircraft

Compiling FL$$^{res}$$ on Finite Words

2020 ◽  
pp. 108-123
Author(s):  
Wanwei Liu ◽  
Liangze Yin ◽  
Tun Li

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations

2020 ◽  
pp. 160-176
Author(s):  
Hengbiao Yu ◽  
Zhenbang Chen ◽  
Chun Huang ◽  
Ji Wang
Keyword(s):  
Symbolic Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document