Elucidation and analysis of specification patterns in aerospace system telemetry
Z Luppen, M Jacks, N Baughman, M Stilic… - NASA Formal Methods …, 2022 - Springer
Experimental aerospace projects often require flight vehicle platforms for testing, such as
high-altitude balloons, sounding rockets, unmanned aerial systems (UAS), and CubeSats …
high-altitude balloons, sounding rockets, unmanned aerial systems (UAS), and CubeSats …
[PDF][PDF] Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry
KY Rozier - research.temporallogic.org
Experimental aerospace projects often require flight vehicle platforms for testing, such as
high-altitude balloons, sounding rockets, unmanned aerial systems (UAS), and CubeSats …
high-altitude balloons, sounding rockets, unmanned aerial systems (UAS), and CubeSats …