Paper information

Paper code

IAC-15,D1,IP,13,x30180

Order

13

Title

analysis and comparison of different formal methods on the static behavior for fault-tolerant systems

abstract

View PDF

Session

IP. Interactive Presentations

symposium

D1. SPACE SYSTEMS SYMPOSIUM

congress

IAC-15

Type of presentation

interactive

Main author

Mr. Zheng WANG, Zhejiang University, China

Co-authors

Mr. Daniel Lüdtke, German Aerospace Center (DLR), Germany;

Dr. Andreas Gerndt, German Aerospace Center (DLR), Simulation and Software Technology, Germany;

Prof.Dr. HAI HUANG, Zhejiang University, China;

Prof. Xiangxian Chen, Zhejiang University, China;