( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A formal framework for security testing of automotive over-the-air update systems.

, , , , и . J. Log. Algebraic Methods Program., (2023)

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.

Nga Nguyen

Huyen-Nga Hoang

Nguyen Hoang

Phi-Nga Nguyen

Hoang Duc Nguyen

 

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

A comparative analysis of multi-criteria decision methods for secure beacon selection in vehicular platoons., , , , , и . Trans. Emerg. Telecommun. Technol., (ноября 2023)A Probabilistic Logic for Resource-Bounded Multi-Agent Systems., и . IJCAI, стр. 521-527. ijcai.org, (2019)Symbolic Model Checking for One-Resource RB+-ATL., , , и . IJCAI, стр. 1069-1075. AAAI Press, (2015)A Hardware-based SoC Monitoring In-life Solution for Automotive Industry., , , , , и . PerCom Workshops, стр. 637-642. IEEE, (2022)Formalising UPTANE in CSP for Security Testing., , , , , и . QRS Companion, стр. 816-824. IEEE, (2021)On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic., , , и . IJCAI, стр. 1494-1501. AAAI Press, (2015)Attack Defense Trees with Sequential Conjunction., , и . HASE, стр. 247-252. IEEE, (2019)Verifying Time and Communication Costs of Rule-Based Reasoners., , , и . MoChArt, том 5348 из Lecture Notes in Computer Science, стр. 1-14. Springer, (2008)A Template-Based Method for the Generation of Attack Trees., , , , , и . WISTP, том 12024 из Lecture Notes in Computer Science, стр. 155-165. Springer, (2019)Probabilistic Resource-bounded Alternating-time Temporal Logic., и . AAMAS, стр. 2141-2143. International Foundation for Autonomous Agents and Multiagent Systems, (2019)