System Modelling Home
System Modelling (IL2202)
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
- 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
The course description in the
Please register for the course on the
on-line restritation page.
Note: The registration site is only open from January 29
through February 3.