Login / Signup
Dynamic Analysis of the Actively-Controlled Segmented Mirror of the Thirty Meter Telescope.
Douglas G. MacMartin
Peter M. Thompson
M. Mark Colavita
Mark J. Sirota
Published in:
IEEE Trans. Control. Syst. Technol. (2014)
Keyphrases
</>
dynamic analysis
static analysis
reverse engineering
model checking
years ago
active learning
computer controlled
malicious behavior
abstract interpretation
neural network
domain knowledge
artificial intelligence
metadata
software engineering
pattern matching