Features

The course offers a unique opportunity to:

• learn about formal methods through the internationally accepted language LOTOS

• absorb theoretical and practical knowledge of LOTOS

• use up-to-date LOTOS tools

• study with leading LOTOS practitioners.