( en | de | ru )

 

Disambiguierung von "Simon, Hendrik"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Symbolic Verification of PLC Safety-Applications based on PLCopen Automata.

, , und . MBMV, Seite 33-45. Albert-Ludwigs-Universität Freiburg, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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)
 

Weitere Publikationen von Autoren mit dem selben Namen

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