Information Systems Analysis (lectures)

for students of computer studies (2 year, master).
kod kursu: INEA12103W

Lectures on how to use temporal logic with timed automata in modelling and verifying information systems etc.

The lectures take the last 5 periods.

Presentations on temporal logic and timed automata

Example projects used in the presentations


Partial and final grades

Students, who got less than 4,5 for the laboratories on temporal logic and timed automata, must take the egzam on this subject.

Other students may take the egzam, or get the grade for the laboratories.

Comments are closed.