( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification.

, , и . ICSE (NIER), стр. 1-5. IEEE, (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.

Atif Mashkoor

Muhammad Atif

Atif Memon

Atif Shahbaz

Atif Askar

 

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

Design and validation of a C++ code generator from Abstract State Machines specifications., , и . J. Softw. Evol. Process., (2020)Refinement-based Validation of Event-B Specifications., , и . Softw. Syst. Model., 16 (3): 789-808 (2017)Ensuring safe and consistent coengineering of cyber-physical production systems: A case study., , , и . J. Softw. Evol. Process., (2021)Security- and safety-critical cyber-physical systems., , , и . J. Softw. Evol. Process., (2020)Intelligent Autonomous Systems., , и . Computer, 53 (12): 20-23 (2020)IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semantics., , , , и . CoRR, (2022)Balanced Knowledge Distribution among Software Development Teams - Observations from Open-Source and Closed-Source Software Development., , , и . CoRR, (2022)Application of Validation Obligations to Security Concerns., , и . DEXA Workshops, том 1633 из Communications in Computer and Information Science, стр. 337-346. Springer, (2022)Collaboratively enhanced consistency checking in a cloud-based engineering environment., , и . EICS, стр. 15:1-15:6. ACM, (2019)Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study., , и . CoRR, (2020)