Исследование методов компактного представления для программ реального временидиссертация