Integration of a formal specification approach into CPPS engineering workflow for machinery validation.

Birgit Vogel-Heuser, Christoph Huber, Suhyun Cha, Bernhard Beckert

Browse the full INDIN paper archive.