%0 Journal Article %1 zeller2019functional %A Zeller, Andreas %A Jazdi, Nasser %A Weyrich, Michael %D 2019 %I Springer %J International Journal of Advanced Manufacturing Technology %K %N 9 %P 3991-4004 %R 10.1007/s00170-019-03791-2 %T Functional verification of distributed automation systems Assisting production line operators by an automated model composition %V 105

@article{zeller2019functional, added-at = {2023-08-31T16:23:38.000+0200}, affiliation = {Zeller, A (Reprint Author), Univ Stuttgart, Inst Ind Automat & Software Engn, Pfaffenwaldring 47, D-70569 Stuttgart, Germany. Zeller, Andreas; Jazdi, Nasser; Weyrich, Michael, Univ Stuttgart, Inst Ind Automat & Software Engn, Pfaffenwaldring 47, D-70569 Stuttgart, Germany.}, author = {Zeller, Andreas and Jazdi, Nasser and Weyrich, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24c3cb1dc48243668c37c40fee9a5721c/puma-wartung}, doi = {10.1007/s00170-019-03791-2}, interhash = {a7daa8a170209537ed899323b7d19aaa}, intrahash = {4c3cb1dc48243668c37c40fee9a5721c}, issn = {{0268-3768} and {1433-3015}}, journal = {International Journal of Advanced Manufacturing Technology}, keywords = {}, language = {eng}, number = 9, pages = {3991-4004}, publisher = {Springer}, research-areas = {Automation & Control Systems; Engineering}, timestamp = {2023-08-31T14:23:38.000+0200}, title = {Functional verification of distributed automation systems Assisting production line operators by an automated model composition}, unique-id = {ISI:000500829700026}, volume = 105, year = 2019 }