Tianhua Xu

From MaRDI portal
Person:474761

Available identifiers

zbMath Open xu.tianhuaMaRDI QIDQ474761

List of research outcomes





PublicationDate of PublicationType
Formal verification of safety protocol in train control system2019-08-28Paper
Risk-based predictive maintenance for safety-critical systems by using probabilistic inference2014-11-24Paper
Cancer cell recognition based on intuitionistic fuzzy sets2014-11-03Paper
Dependability analysis of the data communication system in train control system2010-01-04Paper

Research outcomes over time

This page was built for person: Tianhua Xu

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