Heling-Tveretina O. Safety verification of hybrid systems based on discrete abstraction / O. Heling-Tveretina // Прикладная радиоэлектроника. – 2007. – №4. – С.544–548.
Складова документа:
Прикладная радиоэлектроника : научно-технический журнал. №4. Т. 6 / АН Прикладной Радиоэлектроники, ХНУРЭ // Прикладная радиоэлектроника. – Харьков, 2007