Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0

Daniel Hillen, Tom P. Huck, Nishanth Laxman, Christoph Ledermann, Jan Reich, Patrick Schlosser, Andreas Schmidt, Daniel Schneider 0001, Denis Uecker. Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0. In Christel Seguin, Marc Zeller, Tatiana Prosvirnova, editors, Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings. Volume 13525 of Lecture Notes in Computer Science, pages 83-97, Springer, 2022. [doi]

@inproceedings{HillenHLLRSSSU22,
  title = {Plug-and-Produce... Safely! - End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0},
  author = {Daniel Hillen and Tom P. Huck and Nishanth Laxman and Christoph Ledermann and Jan Reich and Patrick Schlosser and Andreas Schmidt and Daniel Schneider 0001 and Denis Uecker},
  year = {2022},
  doi = {10.1007/978-3-031-15842-1_7},
  url = {https://doi.org/10.1007/978-3-031-15842-1_7},
  researchr = {https://researchr.org/publication/HillenHLLRSSSU22},
  cites = {0},
  citedby = {0},
  pages = {83-97},
  booktitle = {Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings},
  editor = {Christel Seguin and Marc Zeller and Tatiana Prosvirnova},
  volume = {13525},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-031-15842-1},
}