Formalisation of algorythmic description of systems of railway automation and remote control life cycle provision
Synthesis of GPSS-model of service devices of complex queuing systems, based on the batchwise formalization
FORMALIZATION OF ENVIRONMENTAL MODELS IN SIMULATION MODELS OF RAILWAY AUTOMATION LIFE CYCLE SUPPORT SYSTEMS
FORMALIZED SCHEME FOR THE RAILWAY LINE SIMULATION MODELING PROCESS
TECHNOLOGY OF SIMULATION MODELING FOR RAILWAY AUTOMATION AND REMOTE CONTROL SYSTEMS
LOGICAL TIME FORMALIZATION OF SIMULATION MODELS FOR RAILWAY AUTOMATION AND REMOTE CONTROL SYSTEMS