Towards Constraint-Based Preservation in Systems Specification.

Thomas Triebsees Uwe M. Borghoff

Published in: EUROCAST (2007)

Keyphrases

high level
real time
case study
multiscale
distributed systems
building blocks
learning systems
specification language
bayesian networks
search algorithm
management system
complex systems