![](/img/cover-not-exists.png)
Integrated Virtual Preparation and Commissioning: supporting formal methods during automation systems development
Dahl, M., Bengtsson, K., Bergagård, P., Fabian, M., Falkman, P.Volume:
49
Year:
2016
Language:
english
Journal:
IFAC-PapersOnLine
DOI:
10.1016/j.ifacol.2016.07.914
File:
PDF, 640 KB
english, 2016