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

Fri, 01 Jan 2016 00:00:00 +0100

James Harland , Jan Olaf Blech, Ian Peake, Luke Trodd:
Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. ENASE 2016: 363-369