M. Nawaz

From MaRDI portal
Person:2688396

Available identifiers

zbMath Open nawaz.muhammad-saqibMaRDI QIDQ2688396

List of research outcomes





PublicationDate of PublicationType
Proof Guidance in PVS with Sequential Pattern Mining2024-03-14Paper
Using PVS for Modeling and Verification of Probabilistic Connectors2024-03-14Paper
Intelligent breast cancer diagnostic system empowered by deep extreme gradient descent optimization2023-03-03Paper
Using Coq for Formal Modeling and Verification of Timed Connectors2021-05-26Paper
Melting heat transfer in an axisymmetric stagnation-point flow of the Jeffrey fluid2016-09-19Paper

Research outcomes over time

This page was built for person: M. Nawaz

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2688396&oldid=7818703"
Powered by MediaWiki