Library-Based Scalable Refinement Checking for Contract-Based Design

A. Iannopollo, P. Nuzzo, Stavros Tripakis, A. Sangiovanni-Vincentelli

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    23 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoDesign and Test Europe -- DATE 2014, 24.-28.3.2014, Dresden, Germany
    TilaJulkaistu - 2014
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa

    Siteeraa tätä