Theme 4: Methodologies, Models, and Tools
Alberto Sangiovanni-Vincentelli, Sanjit Seshia

Citation
Alberto Sangiovanni-Vincentelli, Sanjit Seshia. "Theme 4: Methodologies, Models, and Tools". Talk or presentation, 29, October, 2014.

Abstract
2014 Annual Meeting Presentation.

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
    Alberto Sangiovanni-Vincentelli, Sanjit Seshia. <a
    href="http://www.terraswarm.org/pubs/424.html"
    ><i>Theme 4: Methodologies, Models, and
    Tools</i></a>, Talk or presentation,  29,
    October, 2014.
  • Plain text
    Alberto Sangiovanni-Vincentelli, Sanjit Seshia. "Theme
    4: Methodologies, Models, and Tools". Talk or
    presentation,  29, October, 2014.
  • BibTeX
    @presentation{SangiovanniVincentelliSeshia14_Theme4MethodologiesModelsTools,
        author = {Alberto Sangiovanni-Vincentelli and Sanjit Seshia},
        title = {Theme 4: Methodologies, Models, and Tools},
        day = {29},
        month = {October},
        year = {2014},
        abstract = {2014 Annual Meeting Presentation.},
        URL = {http://terraswarm.org/pubs/424.html}
    }
    

Posted by Barb Hoversten on 4 Nov 2014.
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.