Formalising C and C++ for Use in High Integrity Systems.

Colin M. O'Halloran Clive H. Pygott

Published in: SSS (2007)

Keyphrases

real world
website
wide range
high precision
computing systems
databases
computer vision
image processing
video sequences
information technology
distributed systems
computer systems
building blocks