By the same authors

From the same journal

Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems

Research output: Contribution to journalArticle



Publication details

JournalIEEE Transactions on Reliability
DatePublished - 1 Mar 2016
Issue number1
Pages (from-to)107-125
Original languageEnglish

Bibliographical note

© 2015, IEEE. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details

Discover related content

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

View graph of relations