Volume 1. Session 2 Information Technology
Conceptual Model "Stage" and Intellectual Support of the Solution Process of "Tactical Problems" by Crews of Aircrafts | |
B. E. Fedunov, A. A. Plyatcovoi |
Volume 1. Session 3 Artificial Intelligence Tools
The Structure of Secure System for Collection, Storage and Processing of Telemetric Information on the Slate of Aircraft Subsystems | |
M. B. Guzairov, V. V. Berkholts, A. M. Vulfin, A. I. Frid, K. V. Mironov |
The Efficiency Comparison of the PRISM and Storm Probabilistic Model Checkers for Error Propagation Analysis Tasks | |
Nafisa Islamovna Yusupova, T. Fabarisov, K. Ding, A. Morozov, K. Janschek |
Method of Structuring the Self-Organized Intellectual System on the Basis of Requirements of the ISO/IEC 15288 Standard in the Form of the Cartesian Closed Category. (On the Example of Design of Information and Analytical System) | |
Vyacheslav Viktorovich Antonov, G. G. Kulikov, A. R. Fakhrullina, L. E. Rodionova |

This work is licensed under a Creative Commons Attribution 3.0 License.