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