( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.

, , , , , , , и . ACM Trans. Priv. Secur., 20 (2): 5:1-5:31 (2017)

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.

Borislava Gajic

Borislava Borisova Probst

Nata i i

imun Ko i i

Slobodan Ru i i

 

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

Categorizing and modeling variation in families of systems: a position paper., и . ECSA Companion Volume, стр. 316-323. ACM, (2010)Specifying and verifying requirements for election processes., , , и . DG.O, том 289 из ACM International Conference Proceeding Series, стр. 63-72. Digital Government Research Center, (2008)Generation, composition, and verification of families of human-intensive systems., и . SPLC, стр. 207-216. ACM, (2014)Using Ontologies to Quantify Attack Surfaces., , , , , и . STIDS, том 1788 из CEUR Workshop Proceedings, стр. 10-18. CEUR-WS.org, (2016)Security Requirements Analysis - A Vision for an Automated Toolchain., , и . QRS Companion, стр. 97-104. IEEE, (2019)Ergodic Specifications for Flexible Swarm Control: From User Commands to Persistent Adaptation., , , , , , , , , и . Robotics: Science and Systems, (2020)Scale-Invariant Specifications for Human-Swarm Systems., , , , , , , , , и 2 other автор(ы). Field Robotics, 3 (1): 368-391 (января 2023)Characterizing process variation., и . ICSE, стр. 836-839. ACM, (2011)Representing Process Variation with a Process Family., , и . ICSP, том 4470 из Lecture Notes in Computer Science, стр. 109-120. Springer, (2007)Using process definitions to drive user interactions with digital government systems., , , , , , , , , и . DG.O, том 228 из ACM International Conference Proceeding Series, стр. 310-311. Digital Government Research Center, (2007)