( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Flavours of Sequential Information Flow.

, , , , и . CoRR, (2021)

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

Borislav Dejanović

Boro Dejanovic

Dejan Arsi

Dejan Klanac

 

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

Compositional Specifications for ioco Testing., , , и . CoRR, (2019)Interface-aware signal temporal logic., , , , и . HSCC, стр. 57-66. ACM, (2019)Exponential pattern recognition for deriving air change rates from CO2 data., , , , и . ISIE, стр. 1507-1512. IEEE, (2017)A Pattern-Based Formalization of Cloud-Based Elastic Systems., , , и . PESOS@ICSE, стр. 31-37. IEEE Computer Society, (2015)Dynamic Reactive Modules., , , , , и . CONCUR, том 6901 из Lecture Notes in Computer Science, стр. 404-418. Springer, (2011)Property-Based Monitoring of Analog and Mixed-Signal Systems., , , и . FORMATS, том 6246 из Lecture Notes in Computer Science, стр. 23-24. Springer, (2010)Automatic Failure Explanation in CPS Models., , , , и . SEFM, том 11724 из Lecture Notes in Computer Science, стр. 69-86. Springer, (2019)CPSDebug: a tool for explanation of failures in cyber-physical systems., , , , , и . ISSTA, стр. 569-572. ACM, (2020)Information-flow Interfaces and Security Lattices., , , и . CoRR, (2024)Verifying Global Two-Safety Properties in Neural Networks with Confidence., , , , , и . CAV (2), том 14682 из Lecture Notes in Computer Science, стр. 329-351. Springer, (2024)