|
|
|
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  |
|
2008 |
| 2. |
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
|
|
Contact us: