Contracts for Systems Design
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Larsen

Citation
Albert Benveniste, Benoît Caillaud, Dejan Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Tom Henzinger, Kim Larsen. "Contracts for Systems Design". Proceedings of IEEE, 2013.

Abstract
(No abstract.)

Electronic downloads

Internal. This publication has been marked by the author for iCyPhy-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Albert Benveniste, Benoît  Caillaud, Dejan
  Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp
  Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm,
  Tom Henzinger, Kim Larsen. <a
  href="http://www.icyphy.org/pubs/13.html"
  >Contracts for Systems Design</a>,
  <i>Proceedings of IEEE</i>,  2013.

• Plain text

  Albert Benveniste, Benoît  Caillaud, Dejan
  Nickovic, Roberto Passerone, Jean-Baptiste Raclet, Philipp
  Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm,
  Tom Henzinger, Kim Larsen. "Contracts for Systems
  Design". <i>Proceedings of IEEE</i>,  2013.

• BibTeX

  @article{BenvenisteCaillaudNickovicPasseroneRacletReinkemeier13_ContractsForSystemsDesign,
      author = {Albert Benveniste and Benoît  Caillaud and Dejan
                Nickovic and Roberto Passerone and Jean-Baptiste
                Raclet and Philipp Reinkemeier and Alberto
                Sangiovanni-Vincentelli and Werner Damm and Tom
                Henzinger and Kim Larsen},
      title = {Contracts for Systems Design},
      journal = {Proceedings of IEEE},
      year = {2013},
      abstract = {(No abstract.)},
      URL = {http://icyphy.org/pubs/13.html}
  }
  

Posted by Pierluigi Nuzzo on 2 Apr 2013.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.