Siirry päänavigointiin Siirry hakuun Siirry pääsisältöön

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

    25 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ä