Login / Signup

Models of Reactive Systems - Communication, Concurrency, and Causality.

Bernhard SchätzHolger Giese
Published in: Model-Based Engineering of Embedded Real-Time Systems (2007)
Keyphrases
  • reactive systems
  • relational databases
  • probabilistic model
  • real time
  • database systems
  • training data
  • experimental data
  • temporal logic