An approach to formal verication of real time concurrent Ada programs.

Douglas J. Howe Stephen Michell

Published in: IRTAW (2003)

Keyphrases

real time
real time systems
concurrent programs
control system
machine learning
case study
high speed
multi threaded
neural network
software engineering
low cost
data acquisition
formal methods