Contract-Based Design of Control Protocols for Safety-Critical Cyber-Physical Systems
Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Nikunj Bajaj, Alberto Sangiovanni-Vincentelli

Citation
Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Nikunj Bajaj, Alberto Sangiovanni-Vincentelli. "Contract-Based Design of Control Protocols for Safety-Critical Cyber-Physical Systems". Talk or presentation, 5, November, 2013; Poster presented at the 2013 TerraSwarm Annual Meeting.

Abstract
(No abstract.)

Electronic downloads

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

Citation formats

• HTML

  Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Nikunj
  Bajaj, Alberto Sangiovanni-Vincentelli. <a
  href="http://www.terraswarm.org/pubs/179.html"><i>Contract-Based
  Design of Control Protocols for Safety-Critical
  Cyber-Physical Systems</i></a>, Talk or
  presentation,  5, November, 2013; Poster presented at the
  <a
  href="http://www.terraswarm.org/conferences/13/annual"
  >2013 TerraSwarm Annual Meeting</a>.

• Plain text

  Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Nikunj
  Bajaj, Alberto Sangiovanni-Vincentelli. "Contract-Based
  Design of Control Protocols for Safety-Critical
  Cyber-Physical Systems". Talk or presentation,  5,
  November, 2013; Poster presented at the <a
  href="http://www.terraswarm.org/conferences/13/annual"
  >2013 TerraSwarm Annual Meeting</a>.

• BibTeX

  @presentation{NuzzoFinnIannopolloBajajSangiovanniVincentelli13_ContractBasedDesignOfControlProtocolsForSafetyCritical,
      author = {Pierluigi Nuzzo and John B. Finn and Antonio
                Iannopollo and Nikunj Bajaj and Alberto
                Sangiovanni-Vincentelli},
      title = {Contract-Based Design of Control Protocols for
                Safety-Critical Cyber-Physical Systems},
      day = {5},
      month = {November},
      year = {2013},
      note = {Poster presented at the <a
                href="http://www.terraswarm.org/conferences/13/annual"
                >2013 TerraSwarm Annual Meeting</a>.},
      abstract = {(No abstract.)},
      URL = {http://terraswarm.org/pubs/179.html}
  }
  

Posted by Pierluigi Nuzzo on 4 Nov 2013.
Groups: tools