On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.

Tullio Vardanega Juan Zamorano Juan Antonio de la Puente

Published in: Real Time Syst. (2005)

Keyphrases

dynamic behavior
database
formal semantics
data sets
neural network
information systems
natural language
logic programming
human behavior
conceptual graphs
dynamic analysis