Computer Science and Information Technologies

Yusupova, Nafisa Islamovna, Ufa State Aviation Technical University (USATU), Russian Federation

• Computer Science and Information Technologies 2017 - Volume 1. Session 2 Information Technology
  Analytical Toolset for Model-based Stochastic Error Propagation Analysis: Extension and Optimization Towards Industrial Requirements
  Abstract  PDF (English)
• Computer Science and Information Technologies 2018 - Volume 1. Session 3 Artificial Intelligence Tools
  The Efficiency Comparison of the PRISM and Storm Probabilistic Model Checkers for Error Propagation Analysis Tasks
  Abstract  PDF
• Computer Science and Information Technologies 2018 - Volume 1. Session 2 Information Technology
  Model Reduction Algorithm for Fast Neutrality Tests and Fault Localization of Simulink Models
  Abstract  PDF
• Computer Science and Information Technologies 2018 - Volume 1. Session 2 Information Technology
  Improved Stochastic Control Flow Model for LLVM-based Software Reliability Analysis
  Abstract  PDF
• Computer Science and Information Technologies 2018 - Volume 1. Cover Page and Contents Proceeding
  Volume 1. Cover Page and Contents Proceeding
  Abstract  PDF