[Other] Contracts for System Design

assis Post time 2024-5-8 01:00:50 | Show all posts |Read mode
Reward180points

journal£ºFoundations and Trends(R) in Electronic Design Automation

Authors£ºAlbert Benveniste; Benoit Caillaud; Dejan Nickovic; Roberto Passerone; Jean-Baptiste Raclet; Philipp Reinkemeier; Alberto Sangiovanni-Vincentelli; Werner Damm; Thomas A. Henzinger; Kim G. Larsen

Published date£º2018--

DOI£º10.1561/1000000053

PDF link£ºhttp://www.nowpublishers.com/article/Download/EDA-053

Article link£ºhttp://dx.doi.org/10.1561/1000000053

Article Source£ºNow Publishers¡£


Remark£º

Best Answer

Reply

Use magic Donate Report

All Reply1 Show all posts
ViviDugatto Post time 2024-5-8 01:00:51 | Show all posts

This post has been completed

Completed attachments will be deleted within 24 hours.
Reply

Use magic Donate Report

Junior Member
  • post

  • reply

  • points

    80

Latest Reply

Return to the list