From a Proven Correct Microkernel to Trustworthy Large Systems.

Published in: FoVeOOS (2010)

Keyphrases

management system
complex systems
expert systems
distributed systems
intelligent systems
database
databases
neural network
social networks
wide range
search algorithm
computer systems
retrieval systems