Formalizing Real-Time Scheduling as Program Refinement.

Zhiming Liu Mathai Joseph

Published in: ARTS (1997)

Keyphrases

data sets
neural network
decision making
website
computer programs
programming environment
database
real world
machine learning
case study
multi agent
automatic programming