Login / Signup
Ada 2005 & high integrity systems.
Robert Dewar
Published in:
SIGAda (2006)
Keyphrases
</>
building blocks
complex systems
computer systems
data sets
social networks
wide range
distributed systems
intelligent systems
high precision
computing environments
systems require
high assurance