Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Basem Y Alkazemi
On Verification of Software Components
International Journal of Software Engineering & Applications
Related publications
On Quantitative Software Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deductive Software Verification
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Embedded Software Verification in Hardware–software Codesign
Journal of Systems Architecture
Hardware
Architecture
Software
Formal Verification of Object-Oriented Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Software Components Behavioral Adaptation Based on LTS
Journal of Computer and Communications
Modelling Software Components
Formal Verification of System-Level Safety Properties on Railway Software
Verification and Validation of AI Software
Modular Verification of Collaboration-Based Software Designs
ACM SIGSOFT Software Engineering Notes
