A Graph-Theoretic Approach for Timing Analysis in Real Time Logic.

Farnam Jahanian Aloysius K. Mok

Published in: RTSS (1986)

Keyphrases

real time
high speed
data sets
vision system
real time systems
predicate logic
genetic algorithm
programming language
low cost
logic programming
modal logic
epistemic logic