Login / Signup
From abstract representation to formal modeling of tactical military operations.
Jean Caussanel
Norbert Giambiasi
Agostino G. Bruzzone
Published in:
SCSC (2007)
Keyphrases
</>
formal representation
command and control
abstract data types
image representation
real time
learning algorithm
decision making
knowledge base
higher level
model construction
graphical representation
formal models
highly expressive