Citation
Janos Sztipanovits. "High-Confidence Design for Distributed Embedded Systems (HCDDES) Project Overview". Talk or presentation, 14, October, 2008; Presented at the Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES), Berkeley CA.

Abstract
The Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems integrate verification, validation, and test procedures throughout the complete design, development and maintenance cycle, from requirements capture to deployment and life cycle updates.

Electronic downloads

• https://wiki.isis.vanderbilt.edu/hcddes/images/4/43/Overview-Sztipanovits.ppt

• HTML

  Janos Sztipanovits. <a
  href="http://chess.eecs.berkeley.edu/pubs/492.html"><i>High-Confidence
  Design for Distributed Embedded Systems (HCDDES) Project
  Overview</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>, Berkeley CA.

• Plain text

  Janos Sztipanovits. "High-Confidence Design for
  Distributed Embedded Systems (HCDDES) Project
  Overview". 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>, Berkeley CA.

• BibTeX

  @presentation{Sztipanovits08_HighConfidenceDesignForDistributedEmbeddedSystemsHCDDES,
      author = {Janos Sztipanovits},
      title = {High-Confidence Design for Distributed Embedded
                Systems (HCDDES) Project Overview},
      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>, Berkeley CA.},
      abstract = {The Multidisciplinary University Research
                Initiative (MURI) projects on High-Confidence
                Design for Distributed Embedded Systems integrate
                verification, validation, and test procedures
                throughout the complete design, development and
                maintenance cycle, from requirements capture to
                deployment and life cycle updates.},
      URL = {http://chess.eecs.berkeley.edu/pubs/492.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.