( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

, , , , , , , , , , , , , , , и . Formal Methods Syst. Des., 55 (1): 72 (2019)

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.

Milka Dejanowa

Boro Dejanovic

Borislav Dejanović

Dejan Arsi

Dejan Ilic

 

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

Property-Based Monitoring of Analog and Mixed-Signal Systems., , , и . FORMATS, том 6246 из Lecture Notes in Computer Science, стр. 23-24. Springer, (2010)Dynamic Reactive Modules., , , , , и . CONCUR, том 6901 из Lecture Notes in Computer Science, стр. 404-418. Springer, (2011)Compositional Specifications for ioco Testing., , , и . CoRR, (2019)Interface-aware signal temporal logic., , , , и . HSCC, стр. 57-66. ACM, (2019)Automatic Failure Explanation in CPS Models., , , , и . SEFM, том 11724 из Lecture Notes in Computer Science, стр. 69-86. Springer, (2019)Exponential pattern recognition for deriving air change rates from CO2 data., , , , и . ISIE, стр. 1507-1512. IEEE, (2017)Assertion-based monitoring in practice - Checking correctness of an automotive sensor interface., и . Sci. Comput. Program., (2016)From STL Rulebooks to Rewards., , , , и . CoRR, (2021)A Pattern-Based Formalization of Cloud-Based Elastic Systems., , , и . PESOS@ICSE, стр. 31-37. IEEE Computer Society, (2015)CPSDebug: a tool for explanation of failures in cyber-physical systems., , , , , и . ISSTA, стр. 569-572. ACM, (2020)