Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry

von Luppen, Zachary
Veröffentlicht in NFM (14. : 2022 : Pasadena, Calif.) NASA formal methods (2022)