Starvation and Critical Race Analyzers for Ada.

Gerald M. Karam Raymond J. A. Buhr

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

Keyphrases

information systems
data sets
cooperative
sensor networks