https://libeldoc.bsuir.by/handle/123456789/3591| Title: | Различимость UML-описаний с использованием временных автоматов |
| Authors: | Галимуллин, Р. Ф. |
| Keywords: | материалы конференций;UML;временной автомат с тайм- аутами |
| Issue Date: | 2012 |
| Publisher: | БГУИР |
| 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. |
| Abstract: | В работе ставится задача различимости UML-описаний на основе преобразования конечно-автоматных диаграмм UML во временные автоматы с тайм-аутами, для которых известны отношения различимости и способы построения соответствующих различающих последовательностей. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/3591 |
| ISBN: | 978-985-488-926-9 |
| Appears in Collections: | ИТС 2012 |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Различимость UML-описаний.PDF | 290.81 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.