Compositional specification of functionality and timing of manufacturing systems.

Bram van der Sanden, Joo Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers

Browse the full FDL paper archive.