Research output

1. Polynomial Exact Schedulability and Infeasibility Test for Fixed-Priority Scheduling on Multiprocessor Platforms

   Research output: Contribution to journal › Article › peer-review

2. A Learning Path to Functional Programming (and What Students can see on the Path)

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

3. Соревнования по формальной верификации VeHa-2023: опыт проведения

   Research output: Contribution to journal › Article › peer-review

View all (3) »