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.

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.