Zobrazeno 1 - 10
of 61
pro vyhledávání: '"G I, Alekseev"'
Autor:
Valery A. Nepomniaschy, A. V. Bystrov, S. P. Myl'nikov, E. V. Okunishnikova, T. G. Churina, G. I. Alekseev, Chubarev Pavel
Publikováno v:
Programming and Computer Software. 27:58-68
Estelle specifications are considered that include certain dynamic constructs. A method of translation of these specifications into modified colored Petri nets is described. Static Estelle specifications are translated into hierarchical typed time ne
Autor:
G. I. Alekseev
Publikováno v:
Coke and Chemistry. 52:323-325
Wastewater generation, water consumption, and water management at coke plants are considered. Measures to create runoff-free water-supply and sewer systems are discussed. Filters for water purification, corrosion inhibitors, and biocides are describe
Publikováno v:
Problemy tuberkuleza. (3)
Autor:
G I, Alekseev, I I, Garbuzov
Publikováno v:
Vestnik Rossiiskoi akademii meditsinskikh nauk. (1)
The results of comprehensive study of clinical, hematological, immunological, and bacteriological parameters in irradiated rats and dogs are presented. There is a growth of the automicroflora with decreases in leukocytes by 30-40%, lysozyme, beta-lys
Publikováno v:
Voenno-meditsinskii zhurnal. (4)
Autor:
G. I. Alekseev, Valery A. Nepomniaschy, A. V. Bystrov, T. G. Churina, S. P. Myl'nikov, E. V. Okunishnikova
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540602224
PaCT
PaCT
In order to use net models for communication protocol verification, a method intended for automatic translation of Estelle protocol specifications in coloured Petri nets is proposed. A tool for simulation and analysis of the net models is outlined. F
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c8c62dfd17c40c36bd5bbd50f8a04620
https://doi.org/10.1007/3-540-60222-4_100
https://doi.org/10.1007/3-540-60222-4_100
Autor:
G I, Alekseev, I K, Batrak, A A, Golubev, E L, Gorodisskiĭ, V P, Gurov, V M, Silaenkov, A G, Farobin
Publikováno v:
Voenno-meditsinskii zhurnal. (5)
Publikováno v:
Voenno-meditsinskii zhurnal. (3)
Publikováno v:
Voenno-meditsinskii zhurnal. (1)
Blood losses and traumatic stress provoke changes in cellular composition of blood. The greatest blood losses are more frequent in penetrating chest wounds than in penetrating abdominal injuries. A great number of wounded contract leukocytosis which
Autor:
Iu N, Shishmarev, G I, Alekseev, A M, Nikiforov, G K, Larchenko, A A, Krivoruchko, M A, Pronin, I A, Ivanov
Publikováno v:
Radiobiologiia. 32(3)