Просмотр Статті з наукових журналів та збірок по автору "Ostroumov, S.В."
Отображаемые элементы 1-1 из 1
-
Event-B patterns for developing FPGA-BASED hardware
Ostroumov, S.В.; Laibinis, L.V.; Troubitsyna, E.A. (ХАІ, 2010)The paper describes the first step of methodology for designing dependable hardware which is based on field programmable gate array technology. This step means the development of patterns using Event-B language useful ...