Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior.

Klaus Havelund Rajeev Joshi

Published in: ICFEM (2014)

Keyphrases

space shuttle
telemetry data
database
data sets
case study
hierarchical clustering
coarse to fine
behavior patterns
deep space
multiscale
hierarchical structure
human behavior
cognitive processes
formal specification
hierarchical model