( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An extensive model checking framework for multi-agent systems.

, , , и . AAMAS, стр. 1645-1646. IFAAMAS/ACM, (2014)

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.

Jun Sun

Yue-Jun Sun

Jun Jun Lu

Yü-Sün Sun

Jun Yang

 

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

One-for-All: Proposal Masked Cross-Class Anomaly Detection., , , , и . AAAI, стр. 4792-4800. AAAI Press, (2023)Collision Avoidance Testing for Autonomous Driving Systems on Complete Maps., , , , и . IV, стр. 179-185. IEEE, (2021)Research on the Characteristics and Security Risks of the Internet of Vehicles Data., , , , и . DSC, стр. 299-305. IEEE, (2022)Observability and Performance Analysis of Spacecraft Autonomous Navigation Using Stellar Aberration Observation., , , и . ICVISP, стр. 218-223. IEEE, (2021)Mask-Guided Transformer for Human-Object Interaction Detection., , и . VCIP, стр. 1-5. IEEE, (2022)Fair Model Checking with Process Counter Abstraction., , , , и . FM, том 5850 из Lecture Notes in Computer Science, стр. 123-139. Springer, (2009)Verifying Parameterized Timed Security Protocols., , , и . FM, том 9109 из Lecture Notes in Computer Science, стр. 342-359. Springer, (2015)Towards a Combination of CafeOBJ and PAT., , , и . Specification, Algebra, and Software, том 8373 из Lecture Notes in Computer Science, стр. 151-170. Springer, (2014)Plume: Fast Finality Blockchain without Single Failure Point., , и . ASSE, стр. 18-27. ACM, (2021)Parametric Timed Model Checking for Guaranteeing Timed Opacity., и . ATVA, том 11781 из Lecture Notes in Computer Science, стр. 115-130. Springer, (2019)