Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sarra Alqahtani
Formal Verification of Functional Requirements for Smart Contract Compositions in Supply Chain Management Systems
Related publications
Blockchain and Smart Contract for Digital Document Verification
International Journal of Engineering and Technology(UAE)
Architecture
Hardware
Engineering
Chemical Engineering
Biotechnology
Environmental Engineering
Computer Science
Formal Verification of Privacy for RFID Systems
Formal Verification of Hybrid Systems
Analysis of Supply Chain Principal-Agent Incentive Contract
International Journal of Management Science and Engineering Management
Information Systems
Mechanical Engineering
Strategy
Management Science
Engineering
Management
Operations Research
Comparing Formal Verification Approaches of Interlocking Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Supply Chain Management
Collaborative Manufacturing
Ontwikkelingen in Supply Chain Management
Maandblad Voor Accountancy en Bedrijfseconomie
Sustainable Supply Chain Management
Industrial Management and Data Systems
Industrial Relations
Industrial
Manufacturing Engineering
Strategy
Computer Science Applications
Management
Management Information Systems
Intelligent Supply Chain Management
Journal of Software Engineering and Applications