Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mohammed Y. Hazim
Testing, Verification and Improvements of Timeliness in ROS Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Testing and Verification of the LHCb Simulation
EPJ Web of Conferences
Astronomy
Physics
The Epistemology of Validation and Verification Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Static Verification Under the Hood: Implementation Details and Improvements of BLAST
Improvements in Polynomial-Time Feasibility Testing for EDF
In Situ Field Testing of Processes
Formalisation and Verification of Interoperation Requirements on Collaborative Processes
IFAC Proceedings Volumes
Verification and Testing of Concurrent Systems With Action Races
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Verification of Pure Moment Testing in a Multi–degree of Freedom Spine Testing Apparatus
International Journal of Spine Surgery
Surgery
Orthopedics
Sports Medicine
Integrating Verification, Testing, and Learning for Cryptographic Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
