Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Verification of model processing tools


    Additional title:

    Die Verifizierung von Modell-Prozessoren als Tools.



    Publication date :

    2008


    Size :

    8 pages


    Remarks:

    SAE-Paper;2008-01-0124;2008;Safety-Critical Systems;SAE Spec.Publ.; SP-2173


    Type of media :

    Miscellaneous


    Type of material :

    Print


    Language :

    English



    Verification of Model Processing Tools*

    Rajeev, A. C. / Shashidhar, K. C. / Sampath, Prahladavaradan et al. | SAE Technical Papers | 2008


    Verication of Model Processing Tools

    Sampath, P. / Rajeev, A.C. / Shashidhar, K.C. et al. | British Library Conference Proceedings | 2008


    Simulation Tools for System Analysis and Verification

    Eickhoff, Jens | Springer Verlag | 2009


    Paddle model processing precision verification device

    LIU SHUJIE / ZHAI ENCHANG / WANG JIAHAO et al. | European Patent Office | 2023

    Free access

    Software Tools and their Verification by Experiments

    OSTERMEYER, G. -P. | Taylor & Francis Verlag | 1993