| Alkuperäiskieli | Englanti |
|---|---|
| Otsikko | Design and Test Europe -- DATE 2014, 24.-28.3.2014, Dresden, Germany |
| Tila | Julkaistu - 2014 |
| OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisussa |
Siteeraa tätä
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
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
25
Sitaatiot
(Scopus)