Zobrazeno 1 - 2
of 2
pro vyhledávání: '"N. G. Kushik"'
Publikováno v:
Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 131-143 (2011)
The C language is widely used for developing tools in various application areas, and a number of C software tools are used for critical systems, such as medicine, transport, etc. Correspondingly, the security of such programs should be thoroughly tes
Externí odkaz:
https://doaj.org/article/1fa0bc69a0b449608d476672f40ea3c5
Publikováno v:
Programming and Computer Software. 40:333-336
The paper discusses complexity of the problem of checking existence of a homing sequence for an observable complete finite state machines (FSMs). The minimum length of such a sequence for FSMs of certain class is known to be exponential in the number
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d6a4cabd0afb5213281c71c537c7a850
https://doi.org/10.1134/s0361768814060140
https://doi.org/10.1134/s0361768814060140