Kurts Alexander L

Publications in Math-Net.Ru

1. 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
2. Process management as a basis for creating service management systems
   
   Sistemy i Sredstva Inform., 2009, no. supplementary issue,  148–162
3. Management tools of the IT infrastructure
   
   Sistemy i Sredstva Inform., 2008, no. supplementary issue,  69–85