Temporal Logic-Based Deadlock Analysis For Ada.

Gerald M. Karam Raymond J. A. Buhr

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

Keyphrases

expert systems
neural network
case study
information technology
temporal information
data sets
machine learning
information systems
special case
statistical analysis
space time
temporal data