IEEE Transactions on Reliability - Research Database, The University of York

IEEE Transactions on Reliability

ISSNs: 0018-9529

Institute of Electrical and Electronics Engineers Inc.

Scopus rating (2021), Scopus (2020), Scopus (2020)

Journal

Publications

1 - 3 out of 3Page size: 100

10
25
50
100
500

RSS feed of this list

Sort by: Type

Article › Research › Peer-reviewed
A Rigorous Method for Inspection of Model-Based Formal Specifications
Liu, S., McDermid, J. A. & Chen, Y., Dec 2010
Article in IEEE Transactions on Reliability
Evaluation of Mutation Testing in a Nuclear Industry Case Study
Delgado-Pérez, P., Habli, I., Gregory, S., Alexander, R. D., Clark, J. A. & Medina-Bulo, I., Dec 2018
Article in IEEE Transactions on Reliability
Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems
Calinescu, R., Ghezzi, C., Johnson, K. H. A., Pezze, M., Rafiq, Y. & Tamburrelli, G., 4 Aug 2015
Article in IEEE Transactions on Reliability

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations

York staff: edit these data