Formal Verification of Simulink/Stateflow Diagrams
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783319470146, 9783319470160
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hybrid Hoare Logic

2016 ◽  
pp. 91-105
Author(s):  
Naijun Zhan ◽  
Shuling Wang ◽  
Hengjun Zhao
Keyword(s):  
Hoare Logic

From HCSP to Simulink

2016 ◽  
pp. 199-218
Author(s):  
Naijun Zhan ◽  
Shuling Wang ◽  
Hengjun Zhao

Translating Simulink/Stateflow Diagrams into HCSP

2016 ◽  
pp. 181-197
Author(s):  
Naijun Zhan ◽  
Shuling Wang ◽  
Hengjun Zhao

Simulink

2016 ◽  
pp. 39-53
Author(s):  
Naijun Zhan ◽  
Shuling Wang ◽  
Hengjun Zhao

Introduction

2016 ◽  
pp. 1-22
Author(s):  
Naijun Zhan ◽  
Shuling Wang ◽  
Hengjun Zhao

Stateflow and Its Combination with Simulink

2016 ◽  
pp. 55-70
Author(s):  
Naijun Zhan ◽  
Shuling Wang ◽  
Hengjun Zhao

Preliminaries

2016 ◽  
pp. 23-29
Author(s):  
Naijun Zhan ◽  
Shuling Wang ◽  
Hengjun Zhao

Case Studies

2016 ◽  
pp. 231-241
Author(s):  
Naijun Zhan ◽  
Shuling Wang ◽  
Hengjun Zhao
Keyword(s):  
Case Studies

MARS: A Toolkit for Modelling, Analysis, and Verification of Hybrid Systems

2016 ◽  
pp. 219-229
Author(s):  
Naijun Zhan ◽  
Shuling Wang ◽  
Hengjun Zhao
Keyword(s):  
Hybrid Systems ◽  
Modelling Analysis ◽  
Verification Of Hybrid Systems

Translating Simulink Diagrams into HCSP

2016 ◽  
pp. 151-179
Author(s):  
Naijun Zhan ◽  
Shuling Wang ◽  
Hengjun Zhao
Load More ...
Sign in / Sign up

Export Citation Format

Share Document