Login / Signup
Formal Functionally Deterministic Scheduling.
Frédéric Boniol
Claire Pagetti
François Revest
Published in:
ISoLA (2007)
Keyphrases
</>
scheduling problem
scheduling algorithm
formal model
formal methods
round robin
resource allocation
parallel machines
information systems
formal specification
formal models
mathematical theory
production scheduling
job shop
scheduling strategy
wafer fabrication