Timing Analysis of Ada Tasking Programs.

James C. Corbett

Published in: IEEE Trans. Software Eng. (1996)

Keyphrases

provably correct
databases
decision making
image segmentation
image sequences
logic programming
computer programs
programming environment