Amanote Research

Amanote Research

    RegisterSign 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

2020English

Related publications

Blockchain and Smart Contract for Digital Document Verification

International Journal of Engineering and Technology(UAE)
ArchitectureHardwareEngineeringChemical EngineeringBiotechnologyEnvironmental EngineeringComputer Science
2018English

Formal Verification of Privacy for RFID Systems

2010English

Formal Verification of Hybrid Systems

2011English

Analysis of Supply Chain Principal-Agent Incentive Contract

International Journal of Management Science and Engineering Management
Information SystemsMechanical EngineeringStrategyManagement ScienceEngineeringManagementOperations Research
2007English

Comparing Formal Verification Approaches of Interlocking Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Supply Chain Management

Collaborative Manufacturing
2002English

Ontwikkelingen in Supply Chain Management

Maandblad Voor Accountancy en Bedrijfseconomie
2010English

Sustainable Supply Chain Management

Industrial Management and Data Systems
Industrial RelationsIndustrialManufacturing EngineeringStrategyComputer Science ApplicationsManagementManagement Information Systems
2015English

Intelligent Supply Chain Management

Journal of Software Engineering and Applications
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy