Contact
+49 711 685 67286
+49 711 685 67302
Email
Pfaffenwaldring 47
70550 Stuttgart
Germany
Room: 1.115
Journals and conferences:
2021
- M. Weiß, P. Marks, B. Maschler, D. White, P. Kesseli, and M. Weyrich, “Towards establishing formal verification and inductive code synthesis in the PLC domain,” in 19th IEEE International Conference on Industrial Informatics (INDIN), Palma de Mallorca, Spain, July 2021, 2021.
Research portal: -