Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Atif Mashkoor
Map detail
Atif Mashkoor8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAtif MashkoorAAtif MashkoorResearcherValidation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal SpecificationWValidation Obligations:...preprint / 2021Model-driven Engineering of Safety and Security Systems: A Systematic Mapping StudyWModel-driven Engineerin...preprint / 2020Application of Validation Obligations to Security ConcernsWApplication of Validati...preprint / 2022Trace Refinement in B and Event-BWTrace Refinement in B a...preprint / 2022TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software DevelopmentWTaskAllocator: A Recomm...preprint / 2021IVOIRE Deliverable 1.1: Classification of existing VOs & tools and Formalization of VOs semanticsWIVOIRE Deliverable 1.1:...preprint / 2022Formalization of Advanced VOs semantics and VO RefinementWFormalization of Advanc...preprint / 2022
Person7 links

Atif Mashkoor

Researcher