Extending VDM-RT to enable the formal modelling of System of Systems.

Claus Ballegaard Nielsen Peter Gorm Larsen

Published in: SoSE (2012)

Keyphrases

management system
systems require
data mining
distributed systems
artificial intelligence
computer vision
optimal solution
artificial neural networks
computational intelligence
information retrieval systems
intelligent systems
computer systems
knowledge based systems
retrieval systems
computing systems