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.
Groups: hcddes
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.