排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
2.
3.
Stoilkovska Ilina Konnov Igor Widder Josef Zuleger Florian 《International Journal on Software Tools for Technology Transfer (STTT)》2022,24(1):33-48
International Journal on Software Tools for Technology Transfer - Threshold automata are a formalism introduced for modeling, verification, and synthesis of fault-tolerant distributed algorithms... 相似文献
1