Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Automated benchmark generation based upon a specification language


    Beteiligte:
    RAJAN, N. (Autor:in) / FETEIH, S. (Autor:in) / SAITO, J. (Autor:in)

    Kongress:

    Digital Avionics Systems Conference ; 1984 ; Baltimore , MD , U.S.A.



    Erscheinungsdatum :

    1984-01-01



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Automated specification-based test case generation using SCR

    Nikora, A. P. / Heitmeyer, C. L. | NTRS | 2002


    Automated specification-based test case generation using SCR

    Nikora, A. P. / Heitmeyer, C. L. | NTRS | 2003


    Automated specification-based test case generation using SCR

    Nikora, A. P. / Heitymeyer, C. L. | NTRS | 2003


    Software Specification Language

    Buckles, B. P. / Ryan, J. P. / Austin, S. L. | NTRS | 1983


    Benchmark for road marking detection: Dataset specification and performance baseline

    Liu, Xiaolong / Deng, Zhidong / Lu, Hongchao et al. | IEEE | 2017