Old Web
English
Sign In
Acemap
>
Paper
>
Safety Guided Spacecraft Design Using Model-Based Specifications
Safety Guided Spacecraft Design Using Model-Based Specifications
2012
Cody Fleming
Takuto Ishimatsu
Yuko Miyamoto
Haruka Nakao
Masafumi Katahira
Nobuyuki Hoshino
John Thomas
Nancy G. Leveson
Keywords:
Aerospace engineering
Spacecraft design
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
3
References
2
Citations
NaN
KQI
[]