Formal methods of parallel software design automation

Gespeichert in:
Bibliographische Detailangaben
Datum:2020
Hauptverfasser: Yu. Doroshenko, O. A. Yatsenko
Format: Artikel
Sprache:English
Veröffentlicht: 2020
Schriftenreihe:Reports of the National Academy of Sciences of Ukraine
Online Zugang:http://jnas.nbuv.gov.ua/article/UJRN-0001106105
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Library portal of National Academy of Sciences of Ukraine | LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS
id open-sciencenbuvgovua-10497
record_format dspace
spelling open-sciencenbuvgovua-104972024-02-25T17:53:16Z Formal methods of parallel software design automation Yu. Doroshenko O. A. Yatsenko 1025-6415 2020 en Reports of the National Academy of Sciences of Ukraine http://jnas.nbuv.gov.ua/article/UJRN-0001106105 Article
institution Library portal of National Academy of Sciences of Ukraine | LibNAS
collection Open-Science
language English
series Reports of the National Academy of Sciences of Ukraine
spellingShingle Reports of the National Academy of Sciences of Ukraine
Yu. Doroshenko
O. A. Yatsenko
Formal methods of parallel software design automation
format Article
author Yu. Doroshenko
O. A. Yatsenko
author_facet Yu. Doroshenko
O. A. Yatsenko
author_sort Yu. Doroshenko
title Formal methods of parallel software design automation
title_short Formal methods of parallel software design automation
title_full Formal methods of parallel software design automation
title_fullStr Formal methods of parallel software design automation
title_full_unstemmed Formal methods of parallel software design automation
title_sort formal methods of parallel software design automation
publishDate 2020
url http://jnas.nbuv.gov.ua/article/UJRN-0001106105
work_keys_str_mv AT yudoroshenko formalmethodsofparallelsoftwaredesignautomation
AT oayatsenko formalmethodsofparallelsoftwaredesignautomation
first_indexed 2025-07-17T12:00:05Z
last_indexed 2025-07-17T12:00:05Z
_version_ 1850411905168965632