...
机译:正式开发开放式分布式系统的集成框架
Department of Electrical and Computer Engineering, University of Victoria, Victoria, BC, Canada V8W 3P6;
formal methods; open distributed systems; unified modeling language; prototype verification system; multi-formalism; object-orientated programming;
机译:用于计算机集成制造执行系统的系统框架的开发:一种分布式的面向对象方法
机译:迈向验证分布式系统中活动特性的集成形式方法:应用于人口协议
机译:verdi:用于实现和正式验证分布式系统的框架
机译:正式开发开放式分布式系统的集成框架
机译:用于集成分布式保健系统的电子病历处理的正式规范。
机译:OPERA之夜:基于集成式分布式传感器网络的系统的概念框架以找出有火灾危险的动物的安全协议
机译:与分布式发电相结合的电力系统广域监控的分布式自适应学习框架
机译:用于分布式系统的形式化建模,分析和开发的可扩展和可扩展的框架。