Using model differencing to reason about observable behavior changes of manufacturing systems

Christopher Pietsch, Udo Kelter, Christopher Haubeck, Winfried Lamersdorf, Abhishek Chakraborty, Alexander Fay. Using model differencing to reason about observable behavior changes of manufacturing systems. Automatisierungstechnik, 66(10):795-805, 2018. [doi]

Bibliographies