BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 1.

    IEEE Transactions on Software Engineering

    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 Wed Apr 24 06:37:03 2024 BST.