Login / Signup
Oleh Ilyin
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Key Frames
Low Level
Classification Process
Pairwise
Top Venues
ISDMCI
</>
Publications
</>
Oleh Mashkov
,
Oleh Ilyin
,
Viktor Mashkov
,
Oleh Boskin
,
Oksana Ohnieva
Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems.
ISDMCI
(2022)