Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing

Stefan Edelkamp, Christoph Greulich. Using SPIN for the Optimized Scheduling of Discrete Event Systems in Manufacturing. In Dragan Bosnacki, Anton Wijs, editors, Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Volume 9641 of Lecture Notes in Computer Science, pages 57-77, Springer, 2016. [doi]

No reviews for this publication, yet.