Compositional specification of functionality and timing of manufacturing systems

Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers. Compositional specification of functionality and timing of manufacturing systems. In Rolf Drechsler, Robert Wille, editors, 2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. pages 1-8, IEEE, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.