distributed systems; behavioral specification; CORBA; bigh-level petri nets.;
机译:CORBA服务的正式规范:经验和教训
机译:通过远程医疗提供儿科睡眠服务:艾伯塔省的经验和教训。
机译:适用于多用户分布式服务的正式规范:协作t学习的经验
机译:CORBA服务的正式规范:学习经验和经验教训。
机译:异步通信Web服务的正式规范和验证
机译:2003年SARS爆发的经历是多伦多一线医护人员的创伤性压力:经验教训。
机译:使用object-z正式指定corba服务
机译:经验教训,1-69。战斗服务支持经验教训。