( en | de | ru )

 

Disambiguierung von "Henkler, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automata-Based Refinement Checking for Real-Time Systems.

, , , und . Software Engineering, Volume P-213 von LNI, Seite 99-112. GI, (2013)

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

Herbert Henkler

Günter 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)Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML, , und . Architecting Dependable Systems V, (2008)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)3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)., , , , , und . Software Engineering, Volume P-213 von LNI, Seite 361-362. GI, (2013)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)Automata-Based Refinement Checking for Real-Time Systems., , , und . Software Engineering, Volume P-213 von LNI, Seite 99-112. GI, (2013)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)Specification and refinement checking of dynamic systems, , und . Proceedings of the 7th International Fujaba Days, (2009)