TY - CHAP U1 - Konferenzveröffentlichung A1 - Stodt, Jan A1 - Jastremskoj, Eugen A1 - Reich, Christoph A1 - Welte, Dominik A1 - Sikora, Axel T1 - Formal Description of Use Cases for Industry 4.0 Maintenance Processes Using Blockchain Technology T2 - IDAACS'2019 : Proceedings of the 2019 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS); Volume 2, September 18 - 21, 2019, Metz, France KW - Blockchain KW - Maintenance KW - Machine integration KW - Smart contracts KW - Distributed system Y1 - 2019 SN - 978-1-7281-4069-8 SB - 978-1-7281-4069-8 U6 - https://doi.org/10.1109/IDAACS.2019.8924382 DO - https://doi.org/10.1109/IDAACS.2019.8924382 SP - 1136 EP - 1141 ER -