Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verification of model processing tools


    Weitere Titelangaben:

    Die Verifizierung von Modell-Prozessoren als Tools.



    Erscheinungsdatum :

    2008


    Format / Umfang :

    8 pages


    Anmerkungen:

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


    Medientyp :

    Sonstige


    Format :

    Print


    Sprache :

    Englisch



    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. | Europäisches Patentamt | 2023

    Freier Zugriff

    Software Tools and their Verification by Experiments

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