Login / Signup
Victor Dubinin
ORCID
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 17
Top Topics
Using Semantic Web Technologies
Formal Verification
Automatically Generate
Transition Model
Top Venues
INDIN
ETFA
IEEE Trans. Ind. Informatics
IECON
</>
Publications
</>