THEORETICAL COMPUTER SCIENCE: FORMAL MODELS AND SEMANTICS
期 | 标题 | 文件 | |
编号 5 (2024) | Formal specification and verification of requirements in architecture and construction using the EXPRESS modeling language |
![]() (Rus) |
|
Semenov V., Morozov S., Arishin S., Kuzina O., Rimshin V., Makisha E. | |||
编号 1 (2024) | Fuzzy measure on p-adic balls defined on a finite number set |
![]() (Rus) |
|
Bocharnikov V., Sveshnikov S. | |||
1 - 2 的 2 信息 |