Model-based operational-functional unified specification for mission systems.

Yaniv Mordecai Dov Dori

Published in: SysCon (2016)

Keyphrases

database
data mining
management system
formal methods
data sets
real world
multi agent
expert systems
hidden markov models
medical images
knowledge based systems
formal specification