Architecture and Conceptual Formalization of Cyber-Mission Operations.

Rogério Winter Ferrucio de Franco Rosa Rodrigo Bonacin Mario Jino

Published in: AICCSA (2019)

Keyphrases

formal model
conceptual model
cyber defense
real time
management system
data sets
knowledge structures
processing units
database
relational databases
knowledge representation
operational semantics
architectural design
conceptual knowledge
cyber physical systems