Two-Step Deductive Verification of Control Software Using Reflex

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

3 Цитирования (Scopus)

Fingerprint

Подробные сведения о темах исследования «Two-Step Deductive Verification of Control Software Using Reflex». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Математика

Технические дисциплины и материаловедение