Fachinformationsdienst BAUdigital

A platform for research: civil engineering, architecture and urbanism

    Evaluation of Software Dependability Based on Pi Calculus

    New search for: Zhao, Q.
    New search for: Wang, H.Q.
    New search for: Feng, G.S.
    New search for: Lv, H.W.
    New search for: Wu, Y.

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Evaluation of Software Dependability Based on Pi Calculus

    New search for: Zhao, Q.
    New search for: Wang, H.Q.
    New search for: Feng, G.S.
    New search for: Lv, H.W.
    New search for: Wu, Y.

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Evaluation of Software Dependability Based on Pi Calculus

    New search for: Zhao, Q.
    New search for: Wang, H.Q.
    New search for: Feng, G.S.
    New search for: Lv, H.W.
    New search for: Wu, Y.

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Access

    Access via TIB
    Check availability in my library
    Order at Subito €

    Page navigation

    Document information
    Similar titles

    Export, share and cite

    Document information
    Title:

    Evaluation of Software Dependability Based on Pi Calculus

    Contributors:

    Zhao, Q. (author) / Wang, H.Q. (author) / Feng, G.S. (author) / Lv, H.W. (author) / Wu, Y.

    Published in:

    Advanced Measurement and Test ; 832-837

    KEY ENGINEERING MATERIALS ; 439/440

    Publication date:

    2010-01-01

    Size:

    6 pages

    ISSN:

    1013-9826

    Type of media:

    Article (Journal)

    Type of material:

    Print

    Language:

    English

    Classification:

    DDC:  620.11

    © Metadata Copyright the British Library Board and other contributors. All rights reserved.

    Similar titles

    Monthly Waterpower Dependability

    Ardis, C. V. / Jennings, A. | British Library Conference Proceedings | 1993

    Dependability and safety evaluation of railway signalling systems based on field data

    Morant, Amparo | BASE | 2015

    Free access

    Structural integrity monitoring for dependability

    Arangio, S. | Online Contents | 2011

    Structural integrity monitoring for dependability

    Arangio, S. / Bontempi, F. / Ciampoli, M. | Taylor & Francis Verlag | 2011

    Dependability evaluation of a GNSS and ECS based localisation unit for railway vehicles

    Nguyen, T.P.K. / Beugin, J. / Marais, J. | IEEE | 2013

    Back to top