( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automating the Assembly of Security Assurance Case Fragments.

, , , , и . SAFECOMP, том 12852 из Lecture Notes in Computer Science, стр. 101-114. Springer, (2021)

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.

Meng Meng

Meng Meng Liang

Meng Zhang

Methods and implementations of road-network matching. TU München, (2009)

Winfried Meng

Weiyan Meng

 

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

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System., , , , , , , , , и 5 other автор(ы). Syst., 9 (1): 18 (2021)Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming., , , , и . CoRR, (2022)Automating the Assembly of Security Assurance Case Fragments., , , , и . SAFECOMP, том 12852 из Lecture Notes in Computer Science, стр. 101-114. Springer, (2021)Sort Race., , и . CoRR, (2016)UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper)., , , и . PADL, том 13880 из Lecture Notes in Computer Science, стр. 250-260. Springer, (2023)RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence., , , , , , , , и . SAFECOMP Workshops, том 14182 из Lecture Notes in Computer Science, стр. 149-160. Springer, (2023)Unmanned Aerial Vehicle Compliance Checking using Goal-Directed Answer Set Programming., , , , и . ICLP Workshops, том 3193 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Towards a Correct-by-Construction Design of Integrated Modular Avionics., , , , , , , , , и 2 other автор(ы). FMCAD, стр. 221-227. IEEE, (2023)Sort race., , и . Softw. Pract. Exp., 52 (8): 1867-1878 (2022)Model-Based Security Analysis in Additive Manufacturing Systems., , , , , , , и . AMSec@CCS, стр. 3-13. ACM, (2022)