( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Online analysis of debug trace data for embedded systems.

, , , , , , , , и . DATE, стр. 851-856. IEEE, (2018)

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.

Normann Kügelgen

Alexander Normann

Dirk Normann

Normann Goodwin

Immanuel Normann

 

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

Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic., и . VMCAI, том 11388 из Lecture Notes in Computer Science, стр. 513-534. Springer, (2019)Runtime Verification of Web Services for Interconnected Medical Devices., , и . ISSRE, стр. 235-244. IEEE Computer Society, (2014)On Freeze LTL with Ordered Attributes., и . FoSSaCS, том 9634 из Lecture Notes in Computer Science, стр. 269-284. Springer, (2016)Runtime Monitoring with Union-Find Structures., , , , и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 868-884. Springer, (2016)Online analysis of debug trace data for embedded systems., , , , , , , , и . DATE, стр. 851-856. IEEE, (2018)Model checking for flat systems and temporal logic with counting.. University of Lübeck, Germany, (2021)On Freeze LTL with Ordered Attributes., и . CoRR, (2015)