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 High-Confidence
  Design for Distributed Embedded Systems (HCDDES),
  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 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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/492.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.