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.)

Citation formats

• 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.
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.