Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A Tool for Automatic Verification of Real-Time Expert Systems


    Beteiligte:

    Erscheinungsdatum :

    31.07.1994


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch




    A Tool for Automatic Verification of Real-Time Expert Systems

    Traylor, B. / Schwuttke, U. / Quan, A. | NTRS | 1994


    Expert systems for real time applications

    Clema, J.K. / Werling, R. / Chande, A. | Tema Archiv | 1985


    Real Time Analysis on Expert Systems

    Pan, A. / Liu, C. | British Library Conference Proceedings | 2000


    Asynchronous Production Systems for Real-Time Expert Systems

    A. S. Sabharwal / S. S. Iyengar / C. R. Weisbin et al. | NTIS | 1988


    Verification and validation of expert systems

    SMITH, BURTON / MORRIS, KEITH | AIAA | 1989