Powered by Engineering Brain, Japan | What is PKV? | PKV Methodology | KnowledgeRank v4.0.0: PKV Trends of My Authored Papers Are Now Available on My Page

IEEE Transactions on Reliability - 巻 70 / 号 4

タイトル
著者 巻 号 ページ 年 PKV
A CEGAR-Based Static–Dynamic Approach to Verifying Full Regular Properties of C Programs
Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du 70 4 1455–1467 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Condition-Based Maintenance Planning for Systems Subject to Dependent Soft and Hard Failures
Jiawen Hu, Qiuzhuang Sun, Zhi-Sheng Ye 70 4 1468–1480 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
State-Based Opportunistic Maintenance With Multifunctional Maintenance Windows
Zihan Zhang, Li Yang 70 4 1481–1494 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Formal Analysis of Multiple-Cell Upset Failure Based on Common Cause Failure Theory
Qi Shao, Shunkun Yang, Xiaodong Gou 70 4 1495–1509 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Resilience-Based Optimal Recovery Strategy for Cyber–Physical Power Systems Considering Component Multistate Failures
Gongyu Wu, Meiyan Li, Zhaojun Steven Li 70 4 1510–1524 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Migrating From Legacy to Software Defined Networks: A Network Reliability Perspective
Yaser Al Mtawa, Anwar Haque, Hanan Lutfiyya 70 4 1525–1541 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
An Analysis on the Reliability of the Alternating Group Graph
Limei Lin, Yanze Huang, Yuhang Lin, Li Xu, Sun-Yuan Hsieh 70 4 1542–1555 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
System Reliability of a Stochastic Multiple-Origin-Destination Tourism Transport Network With Tardiness
Thi-Phuong Nguyen, Yi-Kuei Lin 70 4 1556–1568 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Multioutput Gaussian Process Modulated Poisson Processes for Event Prediction
Salman Jahani, Shiyu Zhou, Dharmaraj Veeramani, Jeff Schmidt 70 4 1569–1580 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)
Deep Variational Autoencoder Classifier for Intelligent Fault Diagnosis Adaptive to Unseen Fault Categories
Anqi He, Xiaoning Jin 70 4 1581–1595 2021 0.0
平均評価: 0.0 / 5 (0 件のレビュー)