Donetsk National Technical University
Browsing by Subject Behavior
Showing results 1 to 13 of 13
| Issue Date | Title | Author(s) |
| 2012 | An Approach to Composite Web Services Formal Verification | Shkarupylo, V.V.; Kudermetov, R.К.; ШКАРУПИЛО, В.В.; КУДЕРМЕТОВ, Р.К. |
| 2011 | Неисправности автоматов, сохраняющие их поведение | Копытова, О.М. |
| 2011 | Неисправности автоматов, сохраняющие их поведение | Копытова, О.М.; Kopitova, O.M. |
| 2008 | О классах автоматов, получаемых перебросками дуг | Копытова, О.М. |
| 2008 | О классах автоматов, получаемых перебросками дуг | Копытова, О.М.; Kopitova, O.M. |
| 2009 | О структуре автоматов, сохраняющих поведение при перебросках дуг | Копытова, О.М. |
| 2009 | О структуре автоматов, сохраняющих поведение при перебросках дуг | Копытова, О.М.; Kopitova, O.M. |
| 2009 | Преобразования автомата, сохраняющие его поведение | Копытова, О.М. |
| 2008 | Умови збереження поведінки автомата при двох перекидах дуг | Копытова, О.М. |
| 2008 | Умови збереження поведінки автомата при двох перекидах дуг | Копитова, О.М.; Kopitova, O.M. |
| 2010 | Условия сохранения поведения автоматных систем при их структурных изменениях | Копытова, О.М. |
| 2010 | Устойчивость автоматов к неисправностям их функции переходов | Копытова, О.М. |
| 2010 | Устойчивость автоматов к неисправностям их функции переходов | Копытова, О.М.; Kopitova, O.M. |