Vérification formelle des systèmes temps-réel avec ordonnancement préemptif.

Didier Lime Olivier H. Roux

Published in: Tech. Sci. Informatiques (2006)

Keyphrases

description logics
ieee trans
data sets
real time
multi dimensional
manufacturing process
real world
metadata
image processing
high level
cooperative
dl lite