From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Static analysis of Sequential Function Charts using abstract interpretation., и . ETFA, стр. 1-4. IEEE, (2016)A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation., , , , , и . ETFA, стр. 1-4. IEEE, (2017)Die wichtige Rolle der Gewerkschaften bei der Umsetzung des Lieferkettengesetzes. Empfehlungen basierend auf einer Studie zur Automobilindustrie in Südafrika, Ghana, Kenia und Deutschland, и . Policy Brief, (июня 2023)Bone Age Assessment Using Support Vector Machine Regression., , , , и . Bildverarbeitung für die Medizin, стр. 164-169. Springer, (2013)Concolic test generation for PLC programs using coverage metrics., , , , и . WODES, стр. 432-437. IEEE, (2016)Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems"., и . IFM, том 11023 из Lecture Notes in Computer Science, стр. 367-376. Springer, (2018)Digitalisierung von unten? Multiple Digitalisierungspfade in Großunternehmen, , , и . Organisationen in Zeiten der Digitalisierung, Springer VS, Wiesbaden, (марта 2022)Digitalisierungswissen im Großunternehmen, , , и . Forschungsförderung Working Paper, 181. Hans-Böckler-Stiftung, Düsseldorf, (апреля 2020)Symbolic Verification of PLC Safety-Applications based on PLCopen Automata., , и . MBMV, стр. 33-45. Albert-Ludwigs-Universität Freiburg, (2016)Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion., , , , , , , , и . Autom., 68 (1): 3-14 (2020)