Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method.

Joris Rehm Dominique Cansell

Published in: ISoLA (2007)

Keyphrases

real time
detection method
data sets
cost function
dynamic programming
synthetic data
computational complexity
preprocessing
pairwise
experimental evaluation
high accuracy
high precision
neural network
event driven