Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Adnan Sherif
Constructing Property-Oriented Models for Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Process Algebraic Framework for Specification and Validation of Real-Time Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
Related publications
Method of Constructing Abstract Models for Protocol Verification of Cache Coherence in Scalable Systems
Herald of the Bauman Moscow State Technical University. Series Instrument Engineering
Dynamic Object-Oriented Heat Exchanger Models for Simulation of Fluid Property Transitions
International Journal of Heat and Mass Transfer
Transfer Processes
Fluid Flow
Condensed Matter Physics
Mechanical Engineering
Property Specification Patterns for Finite-State Verification
Verification Methodology for DEVS Models
Component-Oriented Verification of Noninterference
Journal of Systems Architecture
Hardware
Architecture
Software
Constructing Models for Content-Based Image Retrieval
Formal Verification of Object-Oriented Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combining CSP and B for Specification and Property Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Meta-Models Combination for Reusing Verification Techniques