Citation
Peter Volgyesi, Gabor Karsai, Janos Sztipanovits. "Model-Based Tool Chain for High Confidence Design". Talk or presentation, 14, October, 2008; Presented at the Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES) review, Berkeley CA.

Abstract
(No abstract.)

Electronic downloads

• https://wiki.isis.vanderbilt.edu/hcddes/images/d/dc/MIC_TC.ppt

• HTML

  Peter Volgyesi, Gabor Karsai, Janos Sztipanovits. <a
  href="http://chess.eecs.berkeley.edu/pubs/495.html"><i>Model-Based
  Tool Chain for High Confidence Design</i></a>,
  Talk or presentation,  14, October, 2008; Presented at the
  Multidisciplinary University Research Initiative (MURI)
  projects on <a
  href="http://chess.eecs.berkeley.edu/hcddes">High-Confidence
  Design for Distributed Embedded Systems (HCDDES)</a>
  review, Berkeley CA.

• Plain text

  Peter Volgyesi, Gabor Karsai, Janos Sztipanovits.
  "Model-Based Tool Chain for High Confidence Design". Talk or
  presentation,  14, October, 2008; Presented at the
  Multidisciplinary University Research Initiative (MURI)
  projects on High-Confidence
  Design for Distributed Embedded Systems (HCDDES) review,
  Berkeley CA.

• BibTeX

  @presentation{VolgyesiKarsaiSztipanovits08_ModelBasedToolChainForHighConfidenceDesign,
      author = {Peter Volgyesi and Gabor Karsai and Janos
                Sztipanovits},
      title = {Model-Based Tool Chain for High Confidence Design},
      day = {14},
      month = {October},
      year = {2008},
      note = {Presented at the Multidisciplinary University
                Research Initiative (MURI) projects on High-Confidence
                Design for Distributed Embedded Systems
                (HCDDES) review, Berkeley CA.},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/495.html}
  }
  

Posted by Christopher Brooks on 20 Oct 2008.
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.