#!/usr/local/bin/php MoBIES: University of Pennsylvania

MoBIES Project
DIVES: Design, Implementation, and Validation Of Embedded Software

(internal use only)


Maintained by
Insup, Oleg, Valya
July 20, 2000


Mobies PI Meeting: January 2003.

Mobies PI Meeting: July 2002.

Mobies PI Meeting: February 2002.

Mobies PI Meeting: July 2001.

  • Summary
  • Demo

    Mobies PI Meeting: January 2001.

    Overview: Project overview includes goal, modeling language for hybrid system (CHARON), analysis approaches and toolset. Presented at MoBIES Kickoff meeting, Monterey, CA, June 2000.

    Mobies Summary: A few words about the project

    MoBIES slide template

    Please use the following template if you are preparing slides to be used in MoBIES presentations.