Methods for Domain Specification of Verification-Oriented Process Ontology | Garanina | Modeling and Analysis of Information Systems

Modeling and Analysis of Information Systems
Modelirovanie i analiz informacionnyh sistem

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

eng | рус

Preview

Modeling and Analysis of Information Systems

Advanced search

Archives

Download this PDF file

For citations:

Garanina N.O., Anureev I.S., Borovikova O.I., Zyubin V.E. Methods for Domain Specification of Verification-Oriented Process Ontology. Modeling and Analysis of Information Systems. 2019;26(4):534-549. (In Russ.) https://doi.org/10.18255/1818-1015-2019-4-534-549

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

Natalia O. Garanina
A.P. Ershov Institute of Informatics Systems SB RAS, Institute of Automation and Electrometry SB RAS
Russian Federation

PhD, senior researcher

Igor S. Anureev
A.P. Ershov Institute of Informatics Systems SB RAS, Institute of Automation and Electrometry SB RAS
Russian Federation

PhD, senior researcher

Olesya I. Borovikova
A.P. Ershov Institute of Informatics Systems SB RAS
Russian Federation

junior researcher

Vladimir E. Zyubin
Institute of Automation and Electrometry SB RAS
Russian Federation

DSci, head of laboratory

Notifications