Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Module Templates for the Specification of Fault-Tolerant Systems


    Contributors:
    Doche, M. (author) / Cazin, J. (author) / Le Berre, D. (author) / Michel, P. (author) / Seguin, C. (author) / Wiels, V. (author)

    Published in:

    Publication date :

    1998-01-01


    Size :

    8 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    500.5 / 387.8



    Module Templates for the Specification of Fault-Tolerant Systems

    Doche, M. / Cazin, J. / Le Berre, D. et al. | British Library Conference Proceedings | 1998


    Making real-time systems fault tolerant: a specification-based approach

    Bahamir, Seyed Morteza / Jalili, Saeed | Tema Archive | 2010


    Fault-Tolerant Components versus Fault-Tolerant Systems

    Muller, A. / Plankensteiner, M. / VDI/VDE-Gesellschaft Mess und Automatisierungstechnik | British Library Conference Proceedings | 2002


    Hierarchical specification of the SIFT fault tolerant flight control system

    Melliar-Smith, P.M. / Schwartz, R.L. | Tema Archive | 1981


    Templates for software fault tolerant voting on results of floating point arithmetic

    Pullum, Laura / Dziegiel, Jr., Roger / Wakefield, G. | AIAA | 1993