Login / Signup

Formal analysis of sporadic bursts in real-time systems.

Sophie QuintonMircea NegreanRolf Ernst
Published in: DATE (2013)
Keyphrases
  • formal analysis
  • real time systems
  • real time
  • distributed systems
  • embedded systems
  • formal methods
  • agent model
  • real time database systems
  • ban logic
  • timing constraints
  • architectural model
  • multi agent systems