( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation.

, , , , , и . ETFA, стр. 1-4. IEEE, (2017)

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.

Hendrik Simon

Lars Hendrik Simon

Jan-Hendrik Simon

Hendrik Vogel

The sediment record of Lake Ohrid (Albania-Macedonia): new methodological approaches, tephrostratigraphy, chronology, and inferences of past climatic and environmental changes. Uni Köln, (2009)

Hendrik Lens

Schnelle Regelung mit Ausgangsrückführung für Systeme mit Stellgrößenbeschränkungen. TU Darmstadt, (2009)
 

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

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)A priori test coverage estimation for automated production systems: Using generated behavior models for coverage calculation., , , , , и . ETFA, стр. 1-4. IEEE, (2017)Static analysis of Sequential Function Charts using abstract interpretation., и . ETFA, стр. 1-4. IEEE, (2016)Bone Age Assessment Using Support Vector Machine Regression., , , , и . Bildverarbeitung für die Medizin, стр. 164-169. Springer, (2013)Digitalisierung von unten? Multiple Digitalisierungspfade in Großunternehmen, , , и . Organisationen in Zeiten der Digitalisierung, Springer VS, Wiesbaden, (марта 2022)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)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)Concolic test generation for PLC programs using coverage metrics., , , , и . WODES, стр. 432-437. IEEE, (2016)Language Use of Ojandetun Village Community, Wulanggitang District, East Flores Regency. Central Asian Journal of Literature, Philosophy and Culture, 4 (4): 19-28 (августа 2023)