Modelling Resilient Systems-of-Systems in Event-B.

Linas Laibinis Inna Pereverzeva Elena Troubitsyna

Published in: SAFECOMP Workshops (2014)

Keyphrases

management system
relational databases
medical images
building blocks
data mining
genetic algorithm
search engine
decision trees
three dimensional
similarity measure
data structure
expert systems
evolutionary algorithm
distributed systems
computer systems
systems require