Citation
Janos Sztipanovits. "Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems: Project Overview". Talk or presentation, 2, December, 2009; Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems.

Abstract
The Multidisciplinary University Research Initiative (MURI) project 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. This project is funded by the Air Force Office of Scientific Research.

Electronic downloads

• ProjectOverview_Sztipanovits_Dec09_HCDDES_MURI.ppt · download/application/vnd.ms-powe · 2058 kbytes

• HTML

  Janos Sztipanovits. <a
  href="http://chess.eecs.berkeley.edu/pubs/630.html"
  ><i>Frameworks and Tools for High-Confidence Design
  of Adaptive, Distributed Embedded Control Systems: Project
  Overview</i></a>, Talk or presentation,  2,
  December, 2009; Frameworks and Tools for High-Confidence
  Design of Adaptive, Distributed Embedded Control Systems.

• Plain text

  Janos Sztipanovits. "Frameworks and Tools for
  High-Confidence Design of Adaptive, Distributed Embedded
  Control Systems: Project Overview". Talk or
  presentation,  2, December, 2009; Frameworks and Tools for
  High-Confidence Design of Adaptive, Distributed Embedded
  Control Systems.

• BibTeX

  @presentation{Sztipanovits09_FrameworksToolsForHighConfidenceDesignOfAdaptiveDistributed,
      author = {Janos Sztipanovits},
      title = {Frameworks and Tools for High-Confidence Design of
                Adaptive, Distributed Embedded Control Systems:
                Project Overview},
      day = {2},
      month = {December},
      year = {2009},
      note = {Frameworks and Tools for High-Confidence Design of
                Adaptive, Distributed Embedded Control Systems},
      abstract = {The Multidisciplinary University Research
                Initiative (MURI) project 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. This project is
                funded by the Air Force Office of Scientific
                Research.},
      URL = {http://chess.eecs.berkeley.edu/pubs/630.html}
  }
  

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