*banner
 

Toward a Model-Based Tool Chain for High Confidence Design
Peter Volgyesi, Gabor Karsai, Janos Sztipanovits, Joe Porter, Ryan Thibodeaux, Harmon Nine, Sandeep Neema

Citation
Peter Volgyesi, Gabor Karsai, Janos Sztipanovits, Joe Porter, Ryan Thibodeaux, Harmon Nine, Sandeep Neema. "Toward a Model-Based Tool Chain for High Confidence Design". Talk or presentation, 6, September, 2007.

Abstract
From the HCDDES MURI Year 1 Review.

Electronic downloads

Citation formats  
  • HTML
    Peter Volgyesi, Gabor Karsai, Janos Sztipanovits, Joe
    Porter, Ryan Thibodeaux, Harmon Nine, Sandeep Neema. <a
    href="http://chess.eecs.berkeley.edu/pubs/343.html"
    ><i>Toward a Model-Based Tool Chain for High
    Confidence Design</i></a>, Talk or presentation,
     6, September, 2007.
  • Plain text
    Peter Volgyesi, Gabor Karsai, Janos Sztipanovits, Joe
    Porter, Ryan Thibodeaux, Harmon Nine, Sandeep Neema.
    "Toward a Model-Based Tool Chain for High Confidence
    Design". Talk or presentation,  6, September, 2007.
  • BibTeX
    @presentation{VolgyesiKarsaiSztipanovitsPorterThibodeauxNineNeema07_TowardModelBasedToolChainForHighConfidenceDesign,
        author = {Peter Volgyesi and Gabor Karsai and Janos
                  Sztipanovits and Joe Porter and Ryan Thibodeaux
                  and Harmon Nine and Sandeep Neema},
        title = {Toward a Model-Based Tool Chain for High
                  Confidence Design},
        day = {6},
        month = {September},
        year = {2007},
        abstract = {From the HCDDES MURI Year 1 Review.},
        URL = {http://chess.eecs.berkeley.edu/pubs/343.html}
    }
    

Posted by Christopher Brooks on 6 Sep 2007.
Groups: hcddes
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

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.

You are not logged in 
©2002-2017 Chess