机译:连接通信有限状态机的开放系统
Univ Catania Dipartimento Matemat & Informat Catania Italy;
Univ Torino Dipartimento Informat Turin Italy;
Ludwig Maximilians Univ Munchen Inst Informat Munich Germany;
Communicating finite state machine; Communicating system; Composition of open systems; Communication properties; Global type with interface roles;
机译:通信有限状态机系统的测试生成
机译:通信流X-Machines系统不超过X机
机译:将系统连接到显示器:我们到这里是无法沟通
机译:决定两个线性通信有限状态机系统的界限
机译:通信有限状态机的系统,作为有限状态机的分布式替代方案。
机译:一种用于有限元分析的代理的机器学习方法:研究和应用到一维系统的状态
机译:通信有限状态机的可同步性是不可判定的