Function-Architecture Co-design and Verification: the Metronomy Approach
Alberto Sangiovanni-Vincentelli, Edward A. Lee, Liangpeng Guo, Patricia Derler, Pierluigi Nuzzo, iCyPhy Team

Citation
Alberto Sangiovanni-Vincentelli, Edward A. Lee, Liangpeng Guo, Patricia Derler, Pierluigi Nuzzo, iCyPhy Team. "Function-Architecture Co-design and Verification: the Metronomy Approach". Talk or presentation, 3, April, 2013; iCyPhy Executive Review, Almaden Research Center, San Jose, CA.

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

  Alberto Sangiovanni-Vincentelli, Edward A. Lee, Liangpeng
  Guo, Patricia Derler, Pierluigi Nuzzo, iCyPhy Team. <a
  href="http://www.icyphy.org/pubs/21.html"
  ><i>Function-Architecture Co-design and
  Verification: the Metronomy Approach</i></a>,
  Talk or presentation,  3, April, 2013; iCyPhy Executive
  Review, Almaden Research Center, San Jose, CA.

• Plain text

  Alberto Sangiovanni-Vincentelli, Edward A. Lee, Liangpeng
  Guo, Patricia Derler, Pierluigi Nuzzo, iCyPhy Team.
  "Function-Architecture Co-design and Verification: the
  Metronomy Approach". Talk or presentation,  3, April,
  2013; iCyPhy Executive Review, Almaden Research Center, San
  Jose, CA.

• BibTeX

  @presentation{SangiovanniVincentelliLeeGuoDerlerNuzzoTeam13_FunctionArchitectureCodesignVerificationMetronomy,
      author = {Alberto Sangiovanni-Vincentelli and Edward A. Lee
                and Liangpeng Guo and Patricia Derler and
                Pierluigi Nuzzo and iCyPhy Team},
      title = {Function-Architecture Co-design and Verification:
                the Metronomy Approach},
      day = {3},
      month = {April},
      year = {2013},
      note = {iCyPhy Executive Review, Almaden Research Center,
                San Jose, CA.},
      abstract = {(No abstract.)},
      URL = {http://icyphy.org/pubs/21.html}
  }
  

Posted by Mary Stewart on 5 Apr 2013.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.