*banner
 

Correctly Composing Components: Ontologies and Modal Behaviors
Edward A. Lee

Citation
Edward A. Lee. "Correctly Composing Components: Ontologies and Modal Behaviors". Talk or presentation, 2, December, 2009; Presented at the Year 3 Multidisciplinary University Research Initiative (MURI) projects on High-Confidence Design for Distributed Embedded Systems (HCDDES) review, Berkeley CA.

Abstract
(No abstract.)

Electronic downloads

Citation formats  
  • HTML
    Edward A. Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/628.html"><i>Correctly
    Composing Components: Ontologies and Modal
    Behaviors</i></a>, Talk or presentation,  2,
    December, 2009; Presented at the Year 3 Multidisciplinary
    University Research Initiative (MURI) projects on <a
    href="http://chess.eecs.berkeley.edu/hcddes"
    >High-Confidence Design for Distributed Embedded Systems
    (HCDDES)</a> review, Berkeley CA.
  • Plain text
    Edward A. Lee. "Correctly Composing Components:
    Ontologies and Modal Behaviors". Talk or presentation, 
    2, December, 2009; Presented at the Year 3 Multidisciplinary
    University Research Initiative (MURI) projects on <a
    href="http://chess.eecs.berkeley.edu/hcddes"
    >High-Confidence Design for Distributed Embedded Systems
    (HCDDES)</a> review, Berkeley CA.
  • BibTeX
    @presentation{Lee09_CorrectlyComposingComponentsOntologiesModalBehaviors,
        author = {Edward A. Lee},
        title = {Correctly Composing Components: Ontologies and
                  Modal Behaviors},
        day = {2},
        month = {December},
        year = {2009},
        note = {Presented at the Year 3 Multidisciplinary
                  University Research Initiative (MURI) projects on
                  <a href="http://chess.eecs.berkeley.edu/hcddes"
                  >High-Confidence Design for Distributed Embedded
                  Systems (HCDDES)</a> review, Berkeley CA.},
        abstract = {(No abstract.)},
        URL = {http://chess.eecs.berkeley.edu/pubs/628.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.

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.

©2002-2018 Chess