Результаты исследований

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

   Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

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

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

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

   Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Просмотреть все (3) »