Sign in
Detecting and Hunting Cyberthreats in a Maritime Environment: Specification and Experimentation of a Maritime Cybersecurity Operations Centre.
Olivier Jacq
Xavier Boudvin
David Brosset
Yvon Kermarrec
Jacques Simonin
Published in:
CSNet (2018)
Keyphrases
</>
decision support system
test bed
database
mobile robot
evolutionary algorithm
dynamic environments
real time
databases
search algorithm
formal specification
formal verification
object oriented
business processes
autonomous agents
reactive systems