Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A New Script Language Applicable to Symbolic Execution Systems


    Beteiligte:
    Koutsikas, C. (Autor:in) / Malevris, N. (Autor:in)


    Erscheinungsdatum :

    01.01.2006


    Format / Umfang :

    11 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    004.16



    ETRI Script Language and Procedure Execution for Satellite and Ground Operations Automation

    Kim, InJun / Lee, Soojeon / Lee, Byoung-sun et al. | AIAA | 2016


    ETRI Script Language and Procedure Execution for Satellite and Ground Operations Automation (AIAA 2016-2318)

    Kim, Injun / Lee, Soojeon / Lee, Byoung-Sun et al. | British Library Conference Proceedings | 2016



    Lazy-substitution based symbolic execution for C programs

    Mengxiang, L. / Yinli, C. / Rui, C. et al. | British Library Online Contents | 2009


    Dynamic symbolic execution approach based on tabu search

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