( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Static and Dynamic Analysis of a Usage Control System.

, , , , , , , и . SACMAT, ACM, (2024)

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.

Fathiyeh Faghihekhorasani

Madjedeh Faghih

Ali Faghih

Manoutschehr Faghih

Amir Faghih-Nassiri

 

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

Symbolic Synthesis of Timed Models with Strict 2-Phase Fault Recovery., и . IEEE Trans. Dependable Secur. Comput., 15 (3): 526-541 (2018)DeepCover: Advancing RNN test coverage and online error prediction using state machine extraction., и . J. Syst. Softw., (2024)ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms., и . SSS, том 10616 из Lecture Notes in Computer Science, стр. 219-233. Springer, (2017)Self-Competitive Neural Networks., и . ISVC (1), том 12509 из Lecture Notes in Computer Science, стр. 15-26. Springer, (2020)Energy Metamorphic Testing for Android Applications., , , и . PIMRC Workshops, стр. 1-6. IEEE, (2019)Testing Smart Contracts Gets Smarter., , и . CoRR, (2019)Model translations among big-step modeling languages.. ICSE, стр. 1555-1558. IEEE Computer Society, (2012)Zone-Based Synthesis of Strict 2-Phase Fault Recovery., и . SSS, том 8255 из Lecture Notes in Computer Science, стр. 357-359. Springer, (2013)Cooperative security administration in multi-security-domain environments using a variant of deontic logic., , , и . Sci. Iran., 19 (3): 635-653 (2012)Static and Dynamic Analysis of a Usage Control System., , , , , , , и . SACMAT, ACM, (2024)