Model based verification of cyber range event environments.

Suresh K. Damodaran David Tidmarsh

Published in: SpringSim (MSCIAAS/SPACE) (2016)

Keyphrases

model checking
event detection
wide range
data driven
real world
real time
neural network
learning algorithm
dynamic environments
news articles
range data
complex events