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

Natalia Garanina, Igor Anureev, Elena Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch

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

Fingerprint

Подробные сведения о темах исследования «An ontology-based approach to support formal verification of concurrent systems». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Математика

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