|
|
Publications in Math-Net.Ru |
Citations |
|
2010 |
1. |
S. Frenkel, A. Kurts, D. Liburkin, N. Fandjushina, B. Anders, “The Compiler of Tabular Representations of Mealy Machines into Programs in the SMV Language that Automates Verification of Computer Projects Using the Model Verification”, Sistemy i Sredstva Inform., 20:3 (2010), 4–16 |
|
2009 |
2. |
A. L. Kurts, “Process management as a basis for creating service management systems”, Sistemy i Sredstva Inform., 2009, no. supplementary issue, 148–162 |
3
|
|
2008 |
3. |
A. L. Kurts, A. L. Fridman, B. N. Anders, N. A. Fandyushina, L. Ya. Chumakov, “Management tools of the IT infrastructure”, Sistemy i Sredstva Inform., 2008, no. supplementary issue, 69–85 |
4
|
|