System Modelling (IL2202)
January-March 2008

Axel Jantsch

Important note: »» The lecture on Tuesday, Feb 5, has been moved to 17:00-19:00, room 540. ««

The main objectives are

• to convey the main concepts of modelling, which are state and state space, models of computation, concurrency, communication, modelling of data and time;
• to relate these concepts to applications and show the impact of the fundamental concepts on the potential and limitations of application techniques and tools, such as sysnthesis, performance analysis, formal verification, etc.

Short descriptiopn of the course with administrative information: Course PM in Swedish and English

The course description in the study handbook.

Please register for the course on the on-line restritation page.
Note: The registration site is only open from January 29 through February 3.