Use of Non-Fungible Tokens for proof of ownership and originality of simulation model in logistics.
Martin DuriskaHana NeradilováGabriel FedorkoVieroslav MolnarNikoleta MikusováPublished in: Simul. Model. Pract. Theory (2024)
Keyphrases
- simulation model
- agent based simulation
- simulation models
- discrete event
- simulation tool
- mathematical model
- supply chain management
- supply chain
- theorem prover
- simulation environment
- line segments
- theorem proving
- linear logic
- distribution networks
- analytical model
- logistics industry
- experimental data
- theoretical analysis