Login / Signup

Extending rely-guarantee thinking to handle real-time scheduling.

Cliff B. JonesAlan Burns
Published in: Formal Methods Syst. Des. (2024)
Keyphrases
  • artificial intelligence
  • databases
  • database
  • real world
  • machine learning
  • evolutionary algorithm
  • np hard