Integrating Real-Time Scheduling Theory and Program Refinement.

Colin J. Fidge Mark Utting Peter Kearney Ian J. Hayes

Published in: FME (1996)

Keyphrases

theoretical framework
multiresolution
expert systems
theoretical basis
static analysis
general theory
genetic algorithm
artificial intelligence
three dimensional
artificial neural networks
probabilistic model
information theory
computer programs