( en | de | ru )

 

Disambiguierung von "Henkler, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Speci cation and Re finement Checking of Dynamic Systems

, , und . Proc. Fujaba Days 2009, Seite 69-73. (2009)

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.

Stefan Henkler

Günter Henkler

Herbert Henkler

Rolf-Dieter Henkler

Stefan Schwärzler

Graphische Modelle im natürlichsprachlichen Mensch-Maschine-Dialog. TU München, (2010)
 

Weitere Publikationen von Autoren mit dem selben Namen

4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)., , , , , und . Software Engineering, Volume P-227 von LNI, Seite 213-214. GI, (2014)A pattern-based requirement specification language: Mapping automotive specific timing requirements., , , und . Software Engineering (Workshops), Volume P-184 von LNI, Seite 99-108. GI, (2011)3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)., , , , , und . Software Engineering, Volume P-213 von LNI, Seite 361-362. GI, (2013)Analysing the Characteristics of Neural Networks for the Recognition of Sugar Beets., , und . IESS, Volume 669 von IFIP Advances in Information and Communication Technology, Seite 115-126. Springer, (2022)Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML, , und . Architecting Dependable Systems V, (2008)SPES XT Systems Engineering Extensions, , , , und . Springer International Publishing, (2016)Introducing a group-based remote laboratory for embedded education., , , , , und . INDIN, Seite 1-6. IEEE, (2023)Synthetic Data for Machine Learning on Embedded Systems in Precision Agriculture., , und . IESS, Volume 669 von IFIP Advances in Information and Communication Technology, Seite 127-138. Springer, (2022)Automata-Based Refinement Checking for Real-Time Systems., , , und . Software Engineering, Volume P-213 von LNI, Seite 99-112. GI, (2013)Speci cation and Re finement Checking of Dynamic Systems, , und . Proc. Fujaba Days 2009, Seite 69-73. (2009)