Formal analysis of aperiodic and sporadic real-time threads in the RTSJ.

Osmar Marchi dos Santos Andy J. Wellings

Published in: JTRES (2006)

Keyphrases

formal analysis
real time
formal methods
ban logic
low cost
agent model
multi threaded
artificial intelligence
control system
machine learning
high speed