Citation
Douglas Densmore, Qi Zhu, Alessandro Pinto, Trevor Meyerowitz, Alberto Sangiovanni-Vincentelli. "Metro II - Design Environment Overview and Case Studies". Talk or presentation, 21, February, 2008.

Abstract
This poster provides an overview Metro II. Metro II is a design environment for the development of embedded systems and is the successor to Metropolis. Illustrated are the components of the system, its execution semantics, case studies, and future plans for the integration of Metro II with other design environments.

Electronic downloads

• BearsPoster2008_v3.ppt · application/vnd.ms-powerpoint · 811 kbytes. (Poster presented at the 2008 Berkeley EECS Annual Research Symposium.)

• HTML

  Douglas Densmore, Qi Zhu, Alessandro Pinto, Trevor
  Meyerowitz, Alberto Sangiovanni-Vincentelli. <a
  href="http://chess.eecs.berkeley.edu/pubs/395.html"
  ><i>Metro II - Design Environment Overview and Case
  Studies</i></a>, Talk or presentation,  21,
  February, 2008.

• Plain text

  Douglas Densmore, Qi Zhu, Alessandro Pinto, Trevor
  Meyerowitz, Alberto Sangiovanni-Vincentelli. "Metro II
  - Design Environment Overview and Case Studies". Talk
  or presentation,  21, February, 2008.

• BibTeX

  @presentation{DensmoreZhuPintoMeyerowitzSangiovanniVincentelli08_MetroIIDesignEnvironmentOverviewCaseStudies,
      author = {Douglas Densmore and Qi Zhu and Alessandro Pinto
                and Trevor Meyerowitz and Alberto
                Sangiovanni-Vincentelli},
      title = {Metro II - Design Environment Overview and Case
                Studies},
      day = {21},
      month = {February},
      year = {2008},
      abstract = {This poster provides an overview Metro II. Metro
                II is a design environment for the development of
                embedded systems and is the successor to
                Metropolis. Illustrated are the components of the
                system, its execution semantics, case studies, and
                future plans for the integration of Metro II with
                other design environments.},
      URL = {http://chess.eecs.berkeley.edu/pubs/395.html}
  }
  

Posted by Douglas Densmore on 25 Feb 2008.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.