( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formalization of software models for cyber-physical systems.

, , , , , и . FormaliSE, стр. 45-51. ACM, (2014)

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.

Myrtill Simkó

Peter Simko

Gabriele Simko

Ilona Simkowski

Julian Justin Gabor

 

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

Towards a theory for cyber-physical systems modeling., , , и . CyPhy, стр. 56-61. ACM, (2014)A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities., , , и . HSCC, стр. 83-92. ACM, (2014)A Unified Endpointer Using Multitask and Multidomain Training., , и . ASRU, стр. 100-106. IEEE, (2019)Semantic Specifications for Domain-Specific Modeling Languages.. MoDELS (Demos/Posters/StudentResearch), том 1115 из CEUR Workshop Proceedings, стр. 94-99. CEUR-WS.org, (2013)Diversely enumerating system-level architectures., , и . EMSOFT, стр. 11:1-11:10. IEEE, (2013)Keyword spotting for Google assistant using contextual speech recognition., , , , и . ASRU, стр. 272-278. IEEE, (2017)Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition., , , , и . MoDELS, том 8107 из Lecture Notes in Computer Science, стр. 471-487. Springer, (2013)A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems., , , , , и . ECBS, стр. 30-39. IEEE Computer Society, (2013)Joint Endpointing and Decoding with End-to-end Models., , , , и . ICASSP, стр. 5626-5630. IEEE, (2019)A bounded model checking tool for periodic sample-hold systems., и . HSCC, стр. 157-162. ACM, (2014)