OH

Osman Hasan

h-0 H-Index

0 Citations

1 Papers

Published Papers

1 indexed

1

Enhancing forecast reliability through formal verification: A model checking approach for weather prediction models

Journal Engineering Research Q4 2026 10.1016/j.jer.2026.07.002

0 citations 383

Publication Activity

Journals Published In

Journal Engineering Research

🇰🇼 Q4 AMS 40

Research Metrics

h-0 H-Index

0 Total Citations

383 Total Views

1 Total Papers

0 Avg Citations/Paper

Profile Details

Share Profile

View Author Rankings