*banner
 

Verifying Real-Time Software is Not Reasonable (Today)
Edward A. Lee

Citation
Edward A. Lee. "Verifying Real-Time Software is Not Reasonable (Today)". Talk or presentation, 6, November, 2012; Invited Plenary Talk Haifa Verification Conference (HVC) Haifa, Israel.

Abstract
(No abstract.)

Electronic downloads

Citation formats  
  • HTML
    Edward A. Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/951.html"
    ><i>Verifying Real-Time Software is Not Reasonable
    (Today)</i></a>, Talk or presentation,  6,
    November, 2012; <i>Invited Plenary Talk</i>
    Haifa Verification Conference (HVC)
    Haifa, Israel.
  • Plain text
    Edward A. Lee. "Verifying Real-Time Software is Not
    Reasonable (Today)". Talk or presentation,  6,
    November, 2012; <i>Invited Plenary Talk</i>
    Haifa Verification Conference (HVC)
    Haifa, Israel.
  • BibTeX
    @presentation{Lee12_VerifyingRealTimeSoftwareIsNotReasonableToday,
        author = {Edward A. Lee},
        title = {Verifying Real-Time Software is Not Reasonable
                  (Today)},
        day = {6},
        month = {November},
        year = {2012},
        note = {<i>Invited Plenary Talk</i>
    Haifa Verification
                  Conference (HVC)
    Haifa, Israel.},
        abstract = {(No abstract.)},
        URL = {http://chess.eecs.berkeley.edu/pubs/951.html}
    }
    

Posted by Mary Stewart on 14 Nov 2012.
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