Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Atif Mashkoor

Selected Functional Safety and Cybersecurity Concerns in System, Software, and Service Process Improvement and Innovation

Journal of Software: Evolution and Process

English

Guidelines for Formal Domain Modeling in Event-B

English