Graphical Transformation of OWL Ontologies to Event-B Formal Models
2022-04-19 13:08:24EmanH.Alkhammash
Computers Materials&Continua 2022年2期
Computers Materials&Continua2022年2期
- Computers Materials&Continua的其它文章
- Training Multi-Layer Perceptron with Enhanced Brain Storm Optimization Metaheuristics
- Designing Bayesian New Group Chain Sampling Plan For Quality Regions
- Privacy-Enhanced Data Deduplication Computational Intelligence Technique for Secure Healthcare Applications
- A Dynamic Resource-Aware Routing Protocol in Resource-Constrained Opportunistic Networks
- Land-Cover Classification and its Impact on Peshawar’s Land Surface Temperature Using Remote Sensing
- Optimal Routing Protocol for Wireless Sensor Network Using Genetic Fuzzy Logic System