Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1 Publication


2018 | Published | Journal Article | IST-REx-ID: 5677 | OA
Contracts for system design
A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations and Trends in Electronic Design Automation 12 (2018) 124–400.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

issn=1551-3939

Search

Filter Publications

  • Display / Sort

    Export / Embed