Alkuperäiskieli | Englanti |
---|---|
Otsikko | Design and Test Europe -- DATE 2014, 24.-28.3.2014, Dresden, Germany |
Tila | Julkaistu - 2014 |
OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisussa |
Library-Based Scalable Refinement Checking for Contract-Based Design
A. Iannopollo, P. Nuzzo, Stavros Tripakis, A. Sangiovanni-Vincentelli
Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu
23
Sitaatiot
(Scopus)