IEEE Transactions on Reliability - 巻 67 / 号 4
| タイトル | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| 著者 | 巻 | 号 | ページ | 年 | PKV | ||||
| ConfVD: System Reactions Analysis and Evaluation Through Misconfiguration Injection | |||||||||
| Shanshan Li, Wang Li, Xiangke Liao, Shaoliang Peng, Shulin Zhou, Zhouyang Jia, Teng Wang | 67 | 4 | 1393–1405 | 2018 | 1.0 | ||||
| 平均評価: 0.0 / 5 (0 件のレビュー) | |||||||||
| Evaluation of Mutation Testing in a Nuclear Industry Case Study | |||||||||
| Pedro Delgado-Pérez, Ibrahim Habli, Steve Gregory, Rob Alexander, John Clark, Inmaculada Medina-Bulo | 67 | 4 | 1406–1419 | 2018 | 1.0 | ||||
| 平均評価: 0.0 / 5 (0 件のレビュー) | |||||||||
| DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles | |||||||||
| Lennon Chaves, Iury V. Bessa, Hussama Ismail, Adriano Bruno dos Santos Frutuoso, Lucas Cordeiro, Eddie Batista de Lima Filho | 67 | 4 | 1420–1441 | 2018 | 0.0 | ||||
| 平均評価: 0.0 / 5 (0 件のレビュー) | |||||||||
| A Deductive Method for Diagnostic Analysis of Digital Instrumentation and Control Systems | |||||||||
| Jun Yang, Tunc Aldemir, Carol Smidts | 67 | 4 | 1442–1458 | 2018 | 1.0 | ||||
| 平均評価: 0.0 / 5 (0 件のレビュー) | |||||||||
| Stochastic Process for the Availability Assessment of Single-Feeder Industrial Energy System Sections | |||||||||
| Tom Van Acker, Dirk Van Hertem | 67 | 4 | 1459–1467 | 2018 | 1.0 | ||||
| 平均評価: 0.0 / 5 (0 件のレビュー) | |||||||||
| An Optimal Reprofiling Policy for High-Speed Train Wheels Subject to Wear and External Shocks Using a Semi-Markov Decision Process | |||||||||
| E. Mingcheng, Bing Li, Zengqiang Jiang, Qi Li | 67 | 4 | 1468–1481 | 2018 | 1.0 | ||||
| 平均評価: 0.0 / 5 (0 件のレビュー) | |||||||||