Sharif Digital Repository

1. A meta-heuristic optimization for a novel mathematical model for minimizing costs and maximizing donor satisfaction in blood supply chains with finite capacity queueing systems (Property)
2. A performance and functional assertion-based verification methodology at transaction-level (Property)
3. Simple search
4. Search result