A model-checking-based approach to risk analysis in supply chain consolidations.
Li TanShenghan XuPublished in: Integr. Comput. Aided Eng. (2009)
Keyphrases
- supply chain
- model checking
- risk analysis
- decision making
- temporal logic
- supply chain management
- risk management
- risk assessment
- finite state
- lead time
- risk factors
- influence diagrams
- fuzzy numbers
- sensitivity analysis
- information security
- information flow
- machine learning
- software engineering
- source code
- expert systems