BRADFORD SCHOLARS

    • Sign in
    View Item 
    •   Bradford Scholars
    • Engineering and Informatics
    • Engineering and Informatics Publications
    • View Item
    •   Bradford Scholars
    • Engineering and Informatics
    • Engineering and Informatics Publications
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of Bradford ScholarsCommunitiesAuthorsTitlesSubjectsPublication DateThis CollectionAuthorsTitlesSubjectsPublication Date

    My Account

    Sign in

    HELP

    Bradford Scholars FAQsCopyright Fact SheetPolicies Fact SheetDeposit Terms and ConditionsDigital Preservation Policy

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    Model-based dependability analysis: State-of-the-art, challenges, and future outlook

    • CSV
    • RefMan
    • EndNote
    • BibTex
    • RefWorks
    Thumbnail
    Publication date
    2015-01
    Author
    Sharvia, S.
    Kabir, Sohag
    Walker, M.
    Papadopoulos, Y.
    Keyword
    Behavioural fault injection
    Failure logic modelling
    Model-based dependability analysis
    Safety analysis
    System design
    Peer-Reviewed
    Yes
    
    Metadata
    Show full item record
    URI
    http://hdl.handle.net/10454/17434
    Version
    No full-text in the repository
    Citation
    Sharvia S, Kabir S, Walker M et al (2015) Model-based dependability analysis: State-of-the-art, challenges, and future outlook. State-of-the-art, challenges, and future outlook In: Mistrik I, Soley R, Ali N et al (Eds) Software Quality Assurance: In Large Scale and Complex Software-intensive Systems. Waltham, MA, USA: Morgan Kaufmann: 251-278.
    Type
    Book chapter
    Collections
    Engineering and Informatics Publications

    entitlement

     
    DSpace software (copyright © 2002 - 2023)  DuraSpace
    Quick Guide | Contact Us
    Open Repository is a service operated by 
    Atmire NV
     

    Export search results

    The export option will allow you to export the current search results of the entered query to a file. Different formats are available for download. To export the items, click on the button corresponding with the preferred download format.

    By default, clicking on the export buttons will result in a download of the allowed maximum amount of items.

    To select a subset of the search results, click "Selective Export" button and make a selection of the items you want to export. The amount of items that can be exported at once is similarly restricted as the full export.

    After making a selection, click one of the export format buttons. The amount of items that will be exported is indicated in the bubble next to export format.