Communicating X-machines: a practical approach for formal and modular specification of large systems
Communicating X-machines: a practical approach for formal and modular specification of large systems
复制标题
通信 X 机器：大型系统的形式化和模块化规范的实用方法
DOI：
--
复制
发表时间：
2003
影响因子：
3.9
通讯作者：
E. Kehris
中科院分区：
文献类型：
--
作者：
P. Kefalas;G. Eleftherakis;E. Kehris
