Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Lazy-substitution based symbolic execution for C programs


    Beteiligte:
    Mengxiang, L. (Autor:in) / Yinli, C. (Autor:in) / Rui, C. (Autor:in) / Gang, Z. (Autor:in)


    Erscheinungsdatum :

    01.01.2009


    Format / Umfang :

    5 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt


    Klassifikation :

    DDC:    629.4



    Dynamic symbolic execution approach based on tabu search

    Cai, Jun / Zou, Peng / Ma, Jinxin et al. | British Library Online Contents | 2015


    LAZY ACTOR AVOIDANCE

    SCHLACTER SCOTT / GUPTA MANAS / SURESH PRADEEP | Europäisches Patentamt | 2025

    Freier Zugriff

    Multifunctional lazy arm lighting assembly and lazy arm vehicle

    LUO QIAOJING | Europäisches Patentamt | 2023

    Freier Zugriff

    Lazy Generic Cuts

    Khandelwal, Dinesh / Bhatia, Kush / Arora, Chetan et al. | British Library Online Contents | 2016


    Lazy Generic Cuts

    Khandelwal, Dinesh / Bhatia, Kush / Arora, Chetan et al. | British Library Online Contents | 2016