Кафедра программирования ММФ

Контактное лицо

Кафедра систем информатики ФИТ

Контактное лицо

Исследовательский центр в сфере искусственного интеллекта НГУ

Контактное лицо

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

  1. Verification Condition Generator for Revised Reflex Language Using Isabelle/HOL

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

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

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

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

ID: 43262588