| DC Field | Value | Language |
|---|
| dc.contributor.author | Галимуллин, Р. Ф. | - |
| dc.date.accessioned | 2015-03-09T14:47:35Z | |
| dc.date.accessioned | 2017-07-19T08:28:21Z | - |
| dc.date.available | 2015-03-09T14:47:35Z | |
| dc.date.available | 2017-07-19T08:28:21Z | - |
| dc.date.issued | 2012 | - |
| dc.identifier.citation | Гилимуллин, Р. Ф. Различимость UML-описаний с использованием временных автоматов / Р. Ф. Галлимулин // Информационные технологии и системы 2012 (ИТС 2012) : материалы международной научной конференции, БГУИР, Минск, Беларусь, 24 октября 2012 г. = Information Technologies and Systems 2012 (ITS 2012) : Proceeding of The International Conference, BSUIR, Minsk, 24th October 2012 / редкол. : Л. Ю. Шилин [и др.]. – Минск : БГУИР, 2012. – C. 36–37. | ru_RU |
| dc.identifier.isbn | 978-985-488-926-9 | - |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/3591 | - |
| dc.description.abstract | В работе ставится задача различимости
UML-описаний на основе преобразования конечно-автоматных диаграмм UML во временные автоматы с тайм-аутами, для которых известны отношения различимости и способы построения соответствующих различающих последовательностей. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | UML | ru_RU |
| dc.subject | временной автомат с тайм- аутами | ru_RU |
| dc.title | Различимость UML-описаний с использованием временных автоматов | ru_RU |
| dc.type | Article | ru_RU |
| Appears in Collections: | ИТС 2012
|
