( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Early Verification of Legal Compliance via Bounded Satisfiability Checking.

, , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 374-396. Springer, (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.

Mehrdad Sobhani

Mehrdad Babazadeh

Mehrdad Maneshkarimi

Mehrdad Babazadeh

Mehrdad Khatir

 

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

PWWM: A Personal Web Workflow Methodology., , , , , и . The Personal Web, том 7855 из Lecture Notes in Computer Science, Springer, (2013)CRESCO: Construction of Evidence Repositories for Managing Standards Compliance., , , и . ER Workshops, том 6999 из Lecture Notes in Computer Science, стр. 338-342. Springer, (2011)Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information., , и . ER, том 6998 из Lecture Notes in Computer Science, стр. 362-378. Springer, (2011)AIRE 2022: 9th International Workshop on Artificial Intelligence and Requirements Engineering., , и . RE Workshops, стр. 139-140. IEEE, (2022)Synthetic data generation for statistical testing., , и . ASE, стр. 872-882. IEEE Computer Society, (2017)TAPHSIR: towards AnaPHoric ambiguity detection and ReSolution in requirements., , , и . ESEC/SIGSOFT FSE, стр. 1677-1681. ACM, (2022)Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering., , , , и . MoDELS, том 7590 из Lecture Notes in Computer Science, стр. 793-809. Springer, (2012)Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard., , , и . ICST, стр. 335-344. IEEE Computer Society, (2010)Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards., , , , , , и . SAFECOMP Workshops, том 7613 из Lecture Notes in Computer Science, стр. 64-78. Springer, (2012)Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach., , , , , и . CoRR, (2019)