退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用object-z正式指定corba服务
Detlef Kreuz;
机译:CORBA服务的正式规范:经验和教训
机译:基于定理证明检查对象-Z正式规范的一致性
机译:基于Object-Z和状态图的异构形式规范:语义和验证
机译:使用Object-Z的CORBA服务的正式规范
机译:异步通信Web服务的正式规范和验证
机译:定性的动力学建模可以正式解释中胚层规格并预测新的发育表型
机译:FOZCIL:用于将Object-Z中的正式规范转换为OO编程语言的设计合同的框架
机译:防止ada服务中拒绝服务的形式规范和验证方法。
机译:用于CORBA和非CORBA客户端和服务的动态CORBA网关
机译:适用于corba和非corba客户和服务的动态corba网关
机译:用于CORBA和非CORBA客户和服务的动态CORBA网关
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。