Auflistung Статті з наукових журналів та збірок Nach Schlagwort "Event-B"
Anzeige der Dokumente 1-2 von 2
-
Event-B patterns for developing FPGA-BASED hardware
(ХАІ, 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 ... -
Использование метода анализа деревьев отказов для создания спецификаций функционально безопасных систем в Event-B
(ХАІ, 2010)Предложен метод, который позволяет объединить метод анализа деревьев отказов (FTA) и формальную спецификацию в Event-B. Использование методики формальной разработки гарантирует корректность внедрения требований по ...