Abstract: Based on the strong demand for independent control and the improvement of domestic databases, database localization has become an inevitable trend. In the process of migrating Oracle ...
Abstract: Research in formal methods for engineering reliable autonomous systems has focused almost exclusively on verifying that system behavior meets specifications. While these endeavors have ...
Department of Pharmacognosy, College of Pharmacy, Prince Sattam Bin Abdulaziz University, P.O. Box 173, Al-Kharj 11942, Saudi Arabia ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results