Show simple item record

dc.contributor.authorСивко, Б. В.
dc.date.accessioned2019-06-18T09:09:10Z
dc.date.available2019-06-18T09:09:10Z
dc.date.issued2016
dc.identifier.otherУДК 004.052.2
dc.identifier.urihttp://elib.bsut.by:8080/xmlui/handle/123456789/1592
dc.description.abstractПредложен метод, позволяющий формализованно проводить проектирование и верификацию систем, обнаруживающих собственные отказы. Рассмотрены самопроверка и самотестирование на основе предложенного метода. Приведены примеры применения. Введено понятие полноты проверки и условие её выполнения. Показано, что полнота проверки может являться как условием полной самопроверяемости системы, так и целевым свойством при разработке.ru
dc.language.isootherru
dc.publisherБелГУТru
dc.subjectСистемы, обнаруживающие собственные отказыru
dc.subjectСамопроверкаru
dc.subjectСамотестированиеru
dc.subjectПолнота проверкиru
dc.subjectСамопроверяемость системыru
dc.titleРазработка безопасных и отказоустойчивых систем на основе взаимной проверки аксиоматических базисовru
dc.typeArticleru


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record