( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Formal Approach to Identifying Security Vulnerabilities in Telecommunication Networks.

, , , , и . ICFEM, том 10009 из Lecture Notes in Computer Science, стр. 141-158. (2016)

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.

Claudia Ines Elena de Theissen

Adrien Elena

Claudia Ines Elena Theissen

Anaxagoras Elenas

Claudia Ines Elena Theissen

 

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

Augmenting formal development of control systems with quantitative reliability assessment., , и . SERENE, стр. 61-70. ACM, (2010)Securing Optimized Code Against Power Side Channels., , , и . CSF, стр. 340-355. IEEE, (2023)Formal Development of Critical Multi-agent Systems: A Refinement Approach., , и . EDCC, стр. 156-161. IEEE Computer Society, (2012)Securing Open Source Clouds Using Models., и . IMPEX/FM&MDD, том 271 из EPTCS, стр. 80-94. (2017)Multi-Concern Integrated Engineering of Dependable Intelligent Systems.. DASC/PiCom/DataCom/CyberSciTech, стр. 710-715. IEEE, (2019)Online Path Generation and Navigation for Swarms of UAVs., , и . CoRR, (2019)A Cloud Based Super-Optimization Method to Parallelize the Sequential Code's Nested Loops., , , , и . MCSoC, стр. 281-287. IEEE, (2019)Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B., , и . ABZ, том 10817 из Lecture Notes in Computer Science, стр. 386-391. Springer, (2018)Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones., , , и . PDP, стр. 101-108. IEEE Computer Society, (2018)Reliability Assessment through Probabilistic Refinement.. Nord. J. Comput., 6 (3): 320-342 (1999)