Original language | English |
---|---|
Title of host publication | Modelling and Management of Engineering Processes : Proceedings of the 3rd International Conference 2013 |
Editors | Michael Schabacker, Kilian Gericke, Nikoletta Szélig, Sándor Vajna |
Publisher | Springer |
Publication date | 2015 |
Pages | 187-202 |
ISBN (Print) | 978-3-662-44008-7 |
ISBN (Electronic) | 978-3-662-44009-4 |
Publication status | Published - 2015 |
Optimal Sceduling of Stochastic Production Processes Through Model Checking
Luke Thomas Herbert, Zaza Nadja Lee Hansen, Robin Sharp, Peter Jacobsen
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review