Media type: E-Article Title: Methods for Domain Specialization of Verification-Oriented Process Ontologies Contributor: Garanina, N. O.; Anureev, I. S.; Borovikova, O. I.; Zyubin, V. E. Published: Allerton Press, 2020 Published in: Automatic Control and Computer Sciences, 54 (2020) 7, Seite 740-751 Language: English DOI: 10.3103/s014641162007007x ISSN: 0146-4116; 1558-108X Keywords: Signal Processing ; Control and Systems Engineering ; Software Origination: Footnote: