Studies modeling simulation and design of concurrent real-time embedded systems Focus assembly of concurrent components Key underlying principle use of well-defined computation models that govern interaction between components

Visit website