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

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

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

2. An ontology-based approach to support formal verification of concurrent systems

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

3. Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

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

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