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

Research output: Chapter in Book or Conference ProceedingsBook chapter

Original languageEnglish
Title of host publicationFoundations and Trends in Electronic Design Automation
Number of pages277
Publication statusPublished - 2018

Research Field

  • Dependable Systems Engineering

Cite this