BIROn - Birkbeck Institutional Research Online

    Browse by Person

    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: Article
    Number of items: 1.

    Article

    Su, G. and Feng, Y. and Chen, Taolue and Rosenblum, D.S. (2015) Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters. IEEE Transactions on Software Engineering 42 (7), pp. 623-639. ISSN 0098-5589.

    This list was generated on Mon Dec 9 05:57:58 2024 GMT.