Dynamic Scheduling in the Presence of Faults: Specification and Verification.

Tomasz Janowski Mathai Joseph

Published in: FTRTFT (1996)

Keyphrases

dynamic scheduling
formal verification
flexible manufacturing systems
model checking
protocol specification
process planning
case study
manufacturing systems
software engineering
data management
resource allocation
business rules
grid services