Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A Tool for Automatic Verification of Real-Time Expert Systems


    Contributors:

    Publication date :

    1994-07-31


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English




    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 Archive | 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