• Journal of Information Technologies and Computation Systems
Русский English
  • About
    • Editorial
    • Review Process
    • Journal Publication Ethics
    • Mandatory Control in Automated
  • Subject matter
  • For authors
    • Requirements for article submission
    • License agreement
    • Правила подготовки (Рабочее)
    • Договор (рабочее)
  • Archive
    • №2/2026
    • №2/2025
    • №1/2025
    • №3/2021
  • Search
  • Contacts

Search

Keyword: complex systems

 

Using X-CTL logic to implement formal verification of X-machines

M.S. Sobolev
Issue 3/2010 More details

Program system for data analysis in mining

R.Y. Zamaraev, S.E. Popov
Issue 3/2010 More details

The instrumental software for distributed simulation of complex systems

Yu.I. Brodskiy, Yu.N. Pavlovskiy
Issue 4/2009 More details

The X-Machine Description of a System

M.S. Sobolev
Issue 4/2009 More details

  • About
  • Subject matter
  • For authors
  • Archive
  • Search
  • Contacts

© FRC CSC RAS