Waqar Ahmad

From MaRDI portal
Person:782498

Available identifiers

zbMath Open ahmad.waqarMaRDI QIDQ782498

List of research outcomes





PublicationDate of PublicationType
Path connectedness of solution sets for partially ordered set optimization problems2025-01-21Paper
Probabilistic analysis of dynamic fault trees using HOL theorem proving2022-09-28Paper
Formal reliability and failure analysis of Ethernet based communication networks in a smart grid substation2020-07-27Paper
Formalization of fault trees in higher-order logic: a deep embedding approach2018-08-16Paper

Research outcomes over time

This page was built for person: Waqar Ahmad

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