*banner
 

Synthesis of Reliable Distributed Real-Time Software
Edward A. Lee

Citation
Edward A. Lee. "Synthesis of Reliable Distributed Real-Time Software". Talk or presentation, 29, October, 2010; Invited Keynote Talk, Workshop on Software Synthesis, ESWEEK 2010, Scottsdale, AZ.

Abstract
(No abstract.)

Electronic downloads

Citation formats  
  • HTML
    Edward A. Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/795.html"
    ><i>Synthesis of Reliable Distributed Real-Time
    Software</i></a>, Talk or presentation,  29,
    October, 2010; Invited Keynote Talk, Workshop on Software
    Synthesis, ESWEEK 2010, Scottsdale, AZ.
  • Plain text
    Edward A. Lee. "Synthesis of Reliable Distributed
    Real-Time Software". Talk or presentation,  29,
    October, 2010; Invited Keynote Talk, Workshop on Software
    Synthesis, ESWEEK 2010, Scottsdale, AZ.
  • BibTeX
    @presentation{Lee10_SynthesisOfReliableDistributedRealTimeSoftware,
        author = {Edward A. Lee},
        title = {Synthesis of Reliable Distributed Real-Time
                  Software},
        day = {29},
        month = {October},
        year = {2010},
        note = {Invited Keynote Talk, Workshop on Software
                  Synthesis, ESWEEK 2010, Scottsdale, AZ},
        abstract = {(No abstract.)},
        URL = {http://chess.eecs.berkeley.edu/pubs/795.html}
    }
    

Posted by Christopher Brooks on 22 Dec 2010.
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