Login / Signup

Trace semantics and refinement patterns for real-time properties in event-B models.

Chenyang ZhuMichael J. ButlerCorina Cîrstea
Published in: Sci. Comput. Program. (2020)
Keyphrases
  • real time
  • temporal patterns
  • spatial patterns
  • low cost
  • high speed
  • computational models