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

Publikation: Beitrag in Buch oder TagungsbandBuchkapitel

OriginalspracheEnglisch
TitelFoundations and Trends in Electronic Design Automation
Seiten124-400
Seitenumfang277
DOIs
PublikationsstatusVeröffentlicht - 2018

Research Field

  • Dependable Systems Engineering

Diese Publikation zitieren