Borovikova Olesya Ignat'evna

Publications in Math-Net.Ru

1. Methods for domain specification of verification-oriented process ontology
   
   Model. Anal. Inform. Sist., 26:4 (2019),  534–549
2. Verification oriented process ontology
   
   Model. Anal. Inform. Sist., 25:6 (2018),  607–622
3. Methodological aspects of development of the electronic russian–english thesaurus on computational linguistics
   
   Inform. Primen., 6:3 (2012),  22–31