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

Cliff B. Jones Alan Burns

Published in: Formal Methods Syst. Des. (2024)

Keyphrases

artificial intelligence
databases

database
real world

machine learning
evolutionary algorithm

np hard