( en | de | ru )

 

Disambiguierung von "Mashkoor, Atif"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification.

, , und . ICSE (NIER), Seite 1-5. IEEE, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Atif Mashkoor

Muhammad Atif

Atif Memon

Atif Shahbaz

Atif Askar

 

Weitere Publikationen von Autoren mit dem selben Namen

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