Efficient systems analysis by combining SysML and coevolution.

David Morgan Antony Waldock David Corne

Published in: SoSE (2012)

Keyphrases

safety analysis
database
data analysis
distributed systems
databases
real time
case study
image analysis
computer systems
knowledge based systems
software systems
computationally expensive
quantitative analysis
formal methods
safety critical