Paper #47663

Paper information

Paper code: IAC-18,D1,IP,29,x47663
Order: 29
Room: IP Hall
Title: An Automatic Model-based Requirement Decomposition and Verification Tool for Space Mission Concept Design
abstract: View PDF
Session: IP. Interactive Presentations - IAF SPACE SYSTEMS SYMPOSIUM
symposium: D1. IAF SPACE SYSTEMS SYMPOSIUM
congress: IAC-18
Type of presentation: interactive

Main author: Dr. Yuzhu Zhang, National Space Science Center, Chinese Academy of Sciences, China

Co-authors

Prof. Zhen Yang, CSSAR/CAS, China;

Dr. Xiaodong Peng, National Space Science Center (NSSC), Chinese Academy of Sciences, China;