Second Year Report on Case Study 4: Improvements in Modelling, Analysis, and Solving the Value Chain Optimization Problem
暂无分享,去创建一个
[1] Holger Hermanns,et al. Synthesis and stochastic assessment of schedules for lacquer production , 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
[2] M. Bozga,et al. Timed Automata Approach for the Axxom Case Study Scheduling a Lacquer Production , 2003 .
[3] S. Engell,et al. Mathematical Model Formulation for the Axxom Case Study AMETIST Project Report , 2022 .