用TypeScript实现的异构群体中的行为类型化状态机

摘要:基于 TypeScript 的异构群体系统建模、执行和验证工具

作者:Roland Kuhn and Alan Darmasaputra

论文ID:2306.09068

分类:Distributed, Parallel, and Cluster Computing

分类简称:cs.DC

提交时间:2023-06-16

PDF 下载: 英文版 中文版pdf翻译中