RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


2016, Volume 23, Number 6  


Analysis of real-time applications feasibility through simulation
S. N. Baranov, V. V. Nikiforov
673
Application of coloured Petri nets for verification of scenario control structures in UCM notation
N. V. Vizovitin, V. A. Nepomniaschy, A. A. Stenenko
688
An approach to verification of a family of multiagent systems for conflict resolution
N. O. Garanina, E. A. Sidorova
703
Using BALM-II for deriving cascade parallel composition of timed finite state machines
M. L. Gromov, N. V. Shabaldina
715
Deriving test suites with the guaranteed fault coverage for extended finite state machines
A. D. Ermakov, N. V. Yevtushenko
729
On the minimization of finite state transducers over semigroups
V. A. Zakharov, G. G. Temerbekova
741
The formalism and language tools for semantics specification of software libraries
V. M. Itsykson
754
Design and security analysis of a fragment of Internet of Things telecommunication system
V. A. Alexandrov, V. Desnitsky, D. Yu. Chaly
767
Generation of a social network graph by using Apache Spark
Yu. A. Belov, S. I. Vovchok
777
Bifurcation of periodic solutions of the Mackey–Glass equation
E. P. Kubyshkin, A. R. Moryakova
784
Component-based systems reconfigurations using graph grammars
O. B. Kouchnarenko, J.-F. Weber
804
Methodological aspects of semantic relationship extraction for automatic thesaurus generation
N. S. Lagutina, K. V. Lagutina, E. I. Mamedov, I. V. Paramonov
826
Dynamics of a system of two simplest oscillators with finite non-linear feedbacks
A. A. Kashchenko
841
Stable cycles and tori of a system of three and four diffusive coupled oscillators
E. A. Marushkina
850
Моделирование и анализ информационных систем
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019