Patterns for building dependable systems with trusted bases.

Eunsuk Kang Daniel Jackson

Published in: PLoP (2010)

Keyphrases

building blocks
complex systems
real time
real world
machine learning
genetic algorithm
artificial intelligence
knowledge based systems
abstraction levels