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

• 06Volgyesi_Karsai_Sztipanovits_Model-based_Design_Tools_muri_review_07.ppt · download/application/vnd.ms-powe · 1653 kbytes

• 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.
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.