Fingerprint
Подробные сведения о темах исследования «An ontology-based approach to support formal verification of concurrent systems». Вместе они формируют уникальный семантический отпечаток (fingerprint).- Сортировать по:
- Вес
- В алфавитном порядке
An ontology-based approach to support formal verification of concurrent systems
Natalia Garanina, Igor Anureev, Elena Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch
Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › рецензирование