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

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

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

2. Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers^∗

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

3. LabVIEW-based automatic verification of process-oriented software

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

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