Sign in

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

Tullio VardanegaJuan ZamoranoJuan 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