| dc.contributor.author | Harchenko, S. L. | |
| dc.contributor.author | Bagaev, D. V. | |
| dc.coverage.spatial | Брест | |
| dc.date.accessioned | 2024-03-04T12:36:28Z | |
| dc.date.available | 2024-03-04T12:36:28Z | |
| dc.date.issued | 2014 | |
| dc.identifier.citation | Harchenko, S. L. Language of design of model of behavior of complex system / S. L. Harchenko, D.V. Bagaev // Робототехника и искусственный интеллект. Проблемы и перспективы = Robotics and Artificial Intelligence. Problems and Perspectives : материалы международной научно-практической конференции, Брест, 4–6 ноября 2013 г. / Министерство образования Республики Беларусь, Брестский государственный технический университет ; редкол.: В. С. Рубанов (гл. ред.) [и др.]. – Брест : БрГТУ, 2014 – С. 21-30. – Библиогр.: с. 30 (1 назв.). | |
| dc.identifier.uri | https://rep.bstu.by/handle/data/41693 | |
| dc.language.iso | en | ru |
| dc.publisher | БрГТУ | |
| dc.title | Language of design of model of behavior of complex system | ru |
| dc.type | Научный доклад (Working Paper) | |
| dc.abstract.alternative | The paper deals with creating а соmрlех pattern of behavior controls technical system based оn the use of the formal language of design. Which provided visualization used in the model of concurrency control system behavior and the pos sibllity of action sequences (the track) with the performance. The resulting pattern of behavior тау bе useful in the verification and validation of the control program of the technical system.
Keywords - pattern of behavior, а process, asynchronous para/lel processes, multi
processor control system, the graph model of behavior. | |
