Login / Signup
A Formal Approach for Preventive Maintenance Workload Balancing.
Ammar Bessam
Published in:
DepCoS-RELCOMEX (2014)
Keyphrases
</>
preventive maintenance
maintenance cost
scheduling problem
storage space
maintenance activities
response time
case study
formal model
data mining
formal specification
databases
real world
decision making
data structure
formal methods