iCyPhy Executive Review: Design Methodology and Requirement Formalization
Alberto Sangiovanni-Vincentelli

Citation
Alberto Sangiovanni-Vincentelli. "iCyPhy Executive Review: Design Methodology and Requirement Formalization". Talk or presentation, 4, December, 2014.

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. <a
  href="http://www.icyphy.org/pubs/51.html"
  ><i>iCyPhy Executive Review: Design Methodology and
  Requirement Formalization</i></a>, Talk or
  presentation,  4, December, 2014.

• Plain text

  Alberto Sangiovanni-Vincentelli. "iCyPhy Executive
  Review: Design Methodology and Requirement
  Formalization". Talk or presentation,  4, December,
  2014.

• BibTeX

  @presentation{SangiovanniVincentelli14_ICyPhyExecutiveReviewDesignMethodologyRequirementFormalization,
      author = {Alberto Sangiovanni-Vincentelli},
      title = {iCyPhy Executive Review: Design Methodology and
                Requirement Formalization},
      day = {4},
      month = {December},
      year = {2014},
      abstract = {(No abstract.)},
      URL = {http://icyphy.org/pubs/51.html}
  }
  

Posted by Barb Hoversten on 7 Dec 2014.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.