Commands
  Search pubs database

Quick search by ...
 
 
Year
  2008
2007
2006
2005
2004
2003

Group
  agv
automotive
bipeds
car
certafcs
chess
chesslocal
cps
dgc3
hcddes
hyper
naomi
pret
ptides
ptolemy
researchers

High-Confidence Design for Distributed Embedded Systems MURI Project Overview
Janos Sztipanovits

Citation
Janos Sztipanovits. "High-Confidence Design for Distributed Embedded Systems MURI Project Overview". Talk or presentation, 6, September, 2007.

Abstract
From the HCDDES MURI Year 1 Review.

Electronic downloads

Citation formats  

  • HTML
    Janos Sztipanovits. <a
    href="http://chess.eecs.berkeley.edu/pubs/339.html"><i>High-Confidence
    Design for Distributed Embedded Systems MURI Project
    Overview</i></a>, Talk or presentation,  6,
    September, 2007.
  • Plain text
    Janos Sztipanovits. "High-Confidence Design for Distributed
    Embedded Systems MURI Project Overview". Talk or
    presentation,  6, September, 2007.
  • BibTeX
    @presentation{Sztipanovits07_HighConfidenceDesignForDistributedEmbeddedSystemsMURI,
        author = {Janos Sztipanovits},
        title = {High-Confidence Design for Distributed Embedded
                  Systems MURI Project Overview},
        day = {6},
        month = {September},
        year = {2007},
        abstract = {From the HCDDES MURI Year 1 Review.},
        URL = {http://chess.eecs.berkeley.edu/pubs/339.html}
    }
    

Posted by Christopher Brooks on 6 Sep 2007.
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-2008 Chess