Citation
Roberto Passerone. "Multiple Viewpoint Contracts in SPEEDS". Talk or presentation, 21, April, 2008; Presented at the "From Embedded Systems to Cyber-Physical Systems: a Review of the State-of-the-Art and Research Needs Workshop," St. Louis, MO.

Abstract
(No abstract.)

Electronic downloads

• Passerone_CPS_week_April_2008.pdf · application/pdf · 407 kbytes

• HTML

  Roberto Passerone. <a
  href="http://chess.eecs.berkeley.edu/pubs/421.html"><i>Multiple
  Viewpoint Contracts in SPEEDS</i></a>, Talk or
  presentation,  21, April, 2008; Presented at the "<a
  href="http://chess.eecs.berkeley.edu/conferences/08/StLouis/index.htm"
  >From Embedded Systems to Cyber-Physical Systems: a
  Review of the State-of-the-Art and Research Needs</a>
  Workshop," St. Louis, MO.

• Plain text

  Roberto Passerone. "Multiple Viewpoint Contracts in
  SPEEDS". Talk or presentation,  21, April, 2008;
  Presented at the "<a
  href="http://chess.eecs.berkeley.edu/conferences/08/StLouis/index.htm"
  >From Embedded Systems to Cyber-Physical Systems: a
  Review of the State-of-the-Art and Research Needs</a>
  Workshop," St. Louis, MO.

• BibTeX

  @presentation{Passerone08_MultipleViewpointContractsInSPEEDS,
      author = {Roberto Passerone},
      title = {Multiple Viewpoint Contracts in SPEEDS},
      day = {21},
      month = {April},
      year = {2008},
      note = {Presented at the "<a
                href="http://chess.eecs.berkeley.edu/conferences/08/StLouis/index.htm"
                >From Embedded Systems to Cyber-Physical Systems:
                a Review of the State-of-the-Art and Research
                Needs</a> Workshop," St. Louis, MO.},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/421.html}
  }
  

Posted by Christopher Brooks on 22 Apr 2008.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.