Login / Signup
Vitalii Melnyk
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Website
Formal Methods
Mathematical Theory
Semi Automated
Top Venues
IDAACS
</>
Publications
</>
Vasyl Sheketa
,
Vitalii Melnyk
,
Roman Petryshyn
,
Yulia Romanyshyn
,
Oleg Sachenko
The Formal Grounds for Construction for Intellimedia Automated System.
IDAACS
(2023)