Resource Analysis and Automated Verification for the Thirty Meter Telescope using Executable SysML Models.

Nerijus Jankevicius

Published in: EXE@MoDELS (2016)

Keyphrases

neural network
complex systems
image analysis
empirical data
safety analysis
real time
artificial intelligence
bayesian networks
statistical models