Application of formal methods in the design of a collaborative virus defense system
This article proposes an approach that allows us to study a mathematical model of a virus protection system at the stage of its design using statistical analysis of an executable model specification based on the formalism of Distributed Object Based Stochastic Hybrid Systems (DOBSHS). Important aspe...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Belarusian |
| Published: |
Belarusian State University
2020-03-01
|
| Series: | Журнал Белорусского государственного университета: Математика, информатика |
| Subjects: | |
| Online Access: | https://journals.bsu.by/index.php/mathematics/article/view/1102 |