o
Established in 1999, Modeling and Analysis of Information Systems publishes the original high-quality papers (in Russian or English) on the subject of analysis, design and development of information systems, the study of their mathematical models. It is a peer-reviewed and published quarterly journal intended to be a vehicle for scholarly presentation and dissemination of theoretical and applied contributions.
Readers are assumed to have a common interest in study and simulation of information systems, but with diverse backgrounds in fields such as theoretical computer science, mathematical cybernetics, programming, computer & network technologies, and information & telecommunication systems.
The journal content since 2000 is freely available on-line.
ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)
Announcements
2023-07-12
PSSV-2023, November 3-4, 2023
PSSV-2023: Workshop on Program Semantics, Specification and Verification: Theory and Applications (Innopolis University, Innopolis, Russia, November 3-4, 2023)
2020-12-21
PSSV-2020, November 3-4, 2020
On November 3-4, 2020 XI international Workshop “Program Semantics, Specification and Verification: Theory and Applications” (PSSV-2020) was held in Moscow (Russia).
| More Announcements... |
