Model Checking of Multi-Process Applications Using SBUML and GDB

Model Checking of Multi-Process Applications Using SBUML and GDB
复制标题

使用 SBUML 和 GDB 进行多进程应用程序的模型检查

DOI：
--
复制
发表时间：
2005
期刊：
Workshop on Dependable Software --Tools and Methods --,International Conference on dependable Systems and Networks
影响因子：
--
通讯作者：
Kazuhiko Kato
Kazuhiko Kato
中科院分区：
--
文献类型：
--
作者：
Yoshihiko Nakagawa;Richard Potter;Mitsuharu Yamamoto;Masami Hagiya;Kazuhiko Kato

文献摘要

相似文献