External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Contracts for System Design

Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Werner Damm, Thomas A. Henzinger, Kim G. Larsen. Contracts for System Design. Foundations and Trends in Electronic Design Automation, 12(2-3):124-400, 2018. [doi]

Authors

Albert Benveniste

This author has not been identified. Look up 'Albert Benveniste' in Google

Benoît Caillaud

This author has not been identified. It may be one of the following persons: Look up 'Benoît Caillaud' in Google

Dejan Nickovic

This author has not been identified. Look up 'Dejan Nickovic' in Google

Roberto Passerone

This author has not been identified. Look up 'Roberto Passerone' in Google

Jean-Baptiste Raclet

This author has not been identified. Look up 'Jean-Baptiste Raclet' in Google

Philipp Reinkemeier

This author has not been identified. Look up 'Philipp Reinkemeier' in Google

Alberto L. Sangiovanni-Vincentelli

This author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in Google

Werner Damm

This author has not been identified. Look up 'Werner Damm' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google

Kim G. Larsen

This author has not been identified. Look up 'Kim G. Larsen' in Google
runs on