A Formal Model-Based Approach to Engineering Systems-of-Systems.

John S. Fitzgerald Jeremy W. Bryans Richard John Payne

Published in: PRO-VE (2012)

Keyphrases

formal model
engineering systems
engineering problems
computational intelligence
security patterns
health management
complex systems
data mining
machine learning
genetic algorithm
case study
multi agent
formal models
security properties