Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation.

James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd

Browse the full ENASE paper archive.