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: X-Machine
Using X-CTL logic to implement formal verification of X-machines
M.S. Sobolev
Issue 3/2010
More details
The X-Machine Description of a System
M.S. Sobolev
Issue 4/2009
More details
