*banner
 

Principled Design of Embedded Software
Edward A. Lee, Man-Kit Leung

Citation
Edward A. Lee, Man-Kit Leung. "Principled Design of Embedded Software". 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
(No abstract.)

Electronic downloads

Citation formats  
  • HTML
    Edward A. Lee, Man-Kit Leung. <a
    href="http://chess.eecs.berkeley.edu/pubs/494.html"><i>Principled
    Design of Embedded Software</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
    Edward A. Lee, Man-Kit Leung. "Principled Design of
    Embedded Software". 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{LeeLeung08_PrincipledDesignOfEmbeddedSoftware,
        author = {Edward A. Lee and Man-Kit Leung},
        title = {Principled Design of Embedded Software},
        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 = {(No abstract.)},
        URL = {http://chess.eecs.berkeley.edu/pubs/494.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