*banner
 

High-Confidence Design for Distributed Embedded Systems (HCDDES) Project Overview
Janos Sztipanovits

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

Citation formats  
  • 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.

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.

You are not logged in 
©2002-2017 Chess