Risk-Based Formal Requirement Elicitation for Automatic Spacecraft Maneuvering

Kerianne L. Hobbs, Alexander R. Collins, E. Feron

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Fingerprint

Dive into the research topics of 'Risk-Based Formal Requirement Elicitation for Automatic Spacecraft Maneuvering'. Together they form a unique fingerprint.

Engineering & Materials Science