Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal specification of dynamic fault tree based on sequence failure symbol


    Beteiligte:
    Bo, W. (Autor:in) / Dong, L. (Autor:in) / Yi, L. (Autor:in)


    Erscheinungsdatum :

    01.01.2012


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt


    Klassifikation :

    DDC:    629.4



    Fault Diagnosis of Rolling Bearings Based on Chaos and Symbol Sequence Statistics

    Chongsheng, L. / Liangsheng, Q. | British Library Online Contents | 2005


    Formal specification for behavior-based mobile robots

    MacKenzie, Douglas C. / Arkin, Ronald C. | SPIE | 1994



    Formal specification of the TCAS protocol

    Schaefer, Carl | AIAA | 1993


    Formal Specification of the TCAS Protocol

    Schaefer, C. / AIAA | British Library Conference Proceedings | 1993