| DC Field | Value | Language |
|---|
| dc.contributor.author | Cheremisinova, L. | - |
| dc.contributor.author | Cheremisinov, D. | - |
| dc.contributor.author | Черемисинова, Л. Д. | - |
| dc.contributor.author | Черемисинов, Д. И. | - |
| dc.date.accessioned | 2021-11-04T07:01:16Z | - |
| dc.date.available | 2021-11-04T07:01:16Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.citation | Cheremisinova, L. Correctness of Control Systems with Concurrenсy Behavior / Cheremisinova L., Cheremisinov D. // Pattern Recognition and Information Processing (PRIP'2021) = Распознавание образов и обработка информации (2021) : Proceedings of the 15th International Conference, 21–24 Sept. 2021, Minsk, Belarus / United Institute of Informatics Problems of the National Academy of Sciences of Belarus. – Minsk, 2021. – P. 133–139. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/45783 | - |
| dc.description.abstract | The discussed problem is to verify whether a reactive control system design with concurrency behavior meets its specification. A model of the desired behavior is in the form of parallel automaton that describes concurrent control algorithms. It is proposed to generate test patterns in the process of simulating the design specification of a concurrent system, which includes an algorithm for the behavior of not only the system itself, but also the environment of the designed device. | ru_RU |
| dc.language.iso | en | ru_RU |
| dc.publisher | UIIP NASB | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | conference proceedings | ru_RU |
| dc.subject | concurrent algorithm | ru_RU |
| dc.subject | hardware verification | ru_RU |
| dc.subject | test pattern | ru_RU |
| dc.subject | simulation | ru_RU |
| dc.subject | PRALU language | ru_RU |
| dc.title | Correctness of Control Systems with Concurrenсy Behavior | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | Pattern Recognition and Information Processing (PRIP'2021) = Распознавание образов и обработка информации (2021)
|
