ABABII, V. V.; SUDACEVSCHI, V. M.
(Національний аерокосмічний університет імені М. Є. Жуковського, 2007)
Design of real-time control systems requires new methodologies in their modelling, verification, validation and implementation. In the paper a complex integrated design system is presented. The design process starts with ...