FHJ: A Formal Model for Hierarchical Dispatching and Overriding.

Yanlin Wang Haoyuan Zhang Bruno C. d. S. Oliveira Marco Servetto

Published in: ECOOP (2018)

Keyphrases

formal model
coarse to fine
predicate calculus
information systems
scheduling problem
hierarchical clustering
manufacturing systems
hierarchical model
neural network
formal models