Comments on "Temporal Logic-Based Deadlock Analysis for Ada''.

Michael Young David L. Levine Richard N. Taylor

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

Keyphrases

data analysis
real time
machine learning
computer vision
image segmentation
three dimensional
expert systems
statistical analysis
spatial and temporal
temporal characteristics