( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SPES XT Systems Engineering Extensions

, , , , и . Springer International Publishing, (2016)
DOI: 10.1007/978-3-319-48003-9_5

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.

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)
 

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

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