THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS
| Issue | Title | File | |
| No 5 (2024) | Formal specification and verification of requirements in architecture and construction using the EXPRESS modeling language |
 (Rus) |
|
| Semenov V.A., Morozov S.V., Arishin S.V., Kuzina O.N., Rimshin V.I., Makisha E.V. | |||
| No 1 (2024) | Fuzzy measure on p-adic balls defined on a finite number set |
(Rus) |
|
| Bocharnikov V.P., Sveshnikov S.V. | |||
| 1 - 2 of 2 Items | |||