English | 繁體

Search in the results

UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
光滑粒子流体动力学流体仿真技术综述 Journal article
刘树森, 何小伟, 王文成, 吴恩华. 光滑粒子流体动力学流体仿真技术综述[J]. 软件学报, 2024, 35(1), 481-512.
Authors:  刘树森;  何小伟;  王文成;  吴恩华
Favorite | TC[Scopus]:1 | Submit date：2024/02/22
计算机图形学  计算物理  光滑粒子流体动力学  
QRDChecker:一个 QRDC 模型检验工具 Journal article
裴玉, 徐启文, 李宣东, 郑国梁. QRDChecker:一个 QRDC 模型检验工具[J]. 软件学报, 2005, 16(03), 355-364.
Authors:  裴玉;  徐启文;  李宣东;  郑国梁
Favorite | TC[Scopus]:0 | Submit date：2019/05/03
模型检验  有限性性质  反应式系统  时段时序逻辑