Fandyushina Natalia A

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. Management tools of the IT infrastructure
   
   Sistemy i Sredstva Inform., 2008, no. supplementary issue,  69–85