Contracts for System Design

Albert Benveniste; Benoît Caillaud; Dejan Nickovic; Roberto Passerone; Jean-Baptiste Raclet; Philipp Reinkemeier; Alberto L. Sangiovanni-Vincentelli; Thomas Henzinger; Kim G. Larsen

doi:10.1561/1000000053

Contracts for System Design

Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto L. Sangiovanni-Vincentelli, Thomas Henzinger, Kim G. Larsen

Security & Communication Technologies

Research output: Chapter in Book or Conference Proceedings › Book chapter

Original language	English
Title of host publication	Foundations and Trends in Electronic Design Automation
Pages	124-400
Number of pages	277
DOIs	https://doi.org/10.1561/1000000053
Publication status	Published - 2018

Research Field

Dependable Systems Engineering

Access to Document

10.1561/1000000053Licence: Unspecified

Cite this

@inbook{185a20b41bbc4cb4bd78f421be69d495,

title = "Contracts for System Design",

author = "Albert Benveniste and Beno{\^i}t Caillaud and Dejan Nickovic and Roberto Passerone and Jean-Baptiste Raclet and Philipp Reinkemeier and Sangiovanni-Vincentelli, {Alberto L.} and Thomas Henzinger and Larsen, {Kim G.}",

year = "2018",

doi = "10.1561/1000000053",

language = "English",

isbn = "978-1-68083-402-4",

pages = "124--400",

booktitle = "Foundations and Trends in Electronic Design Automation",

}

TY - CHAP

T1 - Contracts for System Design

AU - Benveniste, Albert

AU - Caillaud, Benoît

AU - Nickovic, Dejan

AU - Passerone, Roberto

AU - Raclet, Jean-Baptiste

AU - Reinkemeier, Philipp

AU - Sangiovanni-Vincentelli, Alberto L.

AU - Henzinger, Thomas

AU - Larsen, Kim G.

PY - 2018

Y1 - 2018

U2 - 10.1561/1000000053

DO - 10.1561/1000000053

M3 - Book chapter

SN - 978-1-68083-402-4

SP - 124

EP - 400

BT - Foundations and Trends in Electronic Design Automation

ER -