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

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.