*banner
 

CHESS 2006-2007 Annual Report
Jonathan Sprinkle, Christopher Brooks

Citation
Jonathan Sprinkle, Christopher Brooks. "CHESS 2006-2007 Annual Report". Technical report, Center for Hybrid and Embedded Software Systems, June, 2007.

Abstract
This is a draft of the fifth Annual Report for the NSF Large ITR on Foundations of Hybrid and Embedded Systems and Software. This year generally saw a great deal of synergy among various researchers. This research activity is primarily organized through CHESS at the University of California, Berkeley (Center for Hybrid and Embedded Systems and Software, http://chess.eecs.berkeley.edu), ISIS at Vanderbilt University (Institute for Software Integrated Systems, http://www.isis.vanderbilt.edu), and the Department of Mathematical Sciences, (http://msci.memphis.edu) at the University of Memphis.

Electronic downloads

Citation formats  
  • HTML
    Jonathan Sprinkle, Christopher Brooks. <a
    href="http://chess.eecs.berkeley.edu/pubs/335.html"
    ><i>CHESS 2006-2007 Annual
    Report</i></a>, Technical report,  Center for
    Hybrid and Embedded Software Systems, June, 2007.
  • Plain text
    Jonathan Sprinkle, Christopher Brooks. "CHESS 2006-2007
    Annual Report". Technical report,  Center for Hybrid
    and Embedded Software Systems, June, 2007.
  • BibTeX
    @techreport{SprinkleBrooks07_CHESS20062007AnnualReport,
        author = {Jonathan Sprinkle and Christopher Brooks},
        title = {CHESS 2006-2007 Annual Report},
        institution = {Center for Hybrid and Embedded Software Systems},
        month = {June},
        year = {2007},
        abstract = {This is a draft of the fifth Annual Report for the
                  NSF Large ITR on Foundations of Hybrid and
                  Embedded Systems and Software. This year generally
                  saw a great deal of synergy among various
                  researchers. This research activity is primarily
                  organized through CHESS at the University of
                  California, Berkeley (Center for Hybrid and
                  Embedded Systems and Software,
                  http://chess.eecs.berkeley.edu), ISIS at
                  Vanderbilt University (Institute for Software
                  Integrated Systems,
                  http://www.isis.vanderbilt.edu), and the
                  Department of Mathematical Sciences,
                  (http://msci.memphis.edu) at the University of
                  Memphis.},
        URL = {http://chess.eecs.berkeley.edu/pubs/335.html}
    }
    

Posted by Christopher Brooks on 19 Jun 2007.
Groups: chess
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