( en | de | ru )

 

Disambiguation of "Henkler, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Speci cation and Re finement Checking of Dynamic Systems

, , and . Proc. Fujaba Days 2009, page 69-73. (2009)

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. You can also use the button next to the name to display some publications already assigned to the person.

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)
 

Other publications of authors with the same name

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