| dc.contributor.author | Прохорова, Ю.Н. | |
| dc.date.accessioned | 2023-01-09T13:48:48Z | |
| dc.date.available | 2023-01-09T13:48:48Z | |
| dc.date.issued | 2010 | |
| dc.identifier.citation | Прохорова, Ю. Н. Использование метода анализа деревьев отказов для создания спецификаций функционально безопасных систем в Event-B / Ю. Н. Прохорова // Радіоелектронні і комп'ютерні системи. – 2010. – № 6. – С. 135–142. | uk_UA |
| dc.identifier.issn | 1814-4225 | |
| dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/3644 | |
| dc.description.abstract | Предложен метод, который позволяет объединить метод анализа деревьев отказов (FTA) и формальную спецификацию в Event-B. Использование методики формальной разработки гарантирует корректность внедрения требований по функциональной безопасности в спецификацию систем критического применения. | uk_UA |
| dc.description.abstract | Запропоновано метод, який дозволяє об'єднати метод аналізу дерев відмов (FTA) та формальну специфікацію в Event-B. Використання методики формальної розробки гарантує коректність впровадження вимог щодо функціональної безпеки у специфікацію систем критичного застосування. | uk_UA |
| dc.language.iso | ru | uk_UA |
| dc.publisher | ХАІ | uk_UA |
| dc.subject | радиоэлектронные и компьютерные системы | uk_UA |
| dc.subject | спецификация | uk_UA |
| dc.subject | верификация | uk_UA |
| dc.subject | Event-B | uk_UA |
| dc.subject | функциональная безопасность | uk_UA |
| dc.subject | FTA | uk_UA |
| dc.subject | радіоелектронні і комп'ютерні системи | uk_UA |
| dc.subject | специфікація | uk_UA |
| dc.subject | верифікація | uk_UA |
| dc.subject | функціональна безпека | uk_UA |
| dc.title | Использование метода анализа деревьев отказов для создания спецификаций функционально безопасных систем в Event-B | uk_UA |
| dc.type | Article | uk_UA |
