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 <a
  href="http://chess.eecs.berkeley.edu/hcddes"
  >High-Confidence Design for Distributed Embedded Systems
  (HCDDES)</a> 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 <a
                href="http://chess.eecs.berkeley.edu/hcddes"
                >High-Confidence Design for Distributed Embedded
                Systems (HCDDES)</a> review, Berkeley CA.},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/495.html}
  }
  

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