Causality problem in real-time calculus.

Karine Altisen Matthieu Moy

Published in: Formal Methods Syst. Des. (2016)

Keyphrases

real time
artificial intelligence
control system
causal models
real time systems
knowledge base
data model
high speed
distributed systems
quality of service