Cloud computing; Computer science; Conferences; Educational institutions; Industries; Service computing; formal method; service computing; service-oriented application;
机译:研讨会总结:2019 IEEE / ACM第四届国际变质测试研讨会(MET 2019)
机译:MURPHYS-HSFS-2014:第七届多速率工艺与迟滞国际研讨会(MURPHYS)和第二届迟滞与慢速系统国际研讨会(HSFS)
机译:简介:ERCIM工业关键系统形式方法工作组第四次国际研讨会特刊,特伦托,1999年7月11日至12日
机译:IEEE 2014第四次国际服务和云计算中的正式方法研讨会(FM-S& amp; amp; C 2014)研讨会摘要
机译:云计算中服务级别协议的形式化建模和动态验证。
机译:PET / MR组合:真正的工作才刚刚开始。第三届PET / MR成像国际研讨会摘要报告; 2014年2月17日至21日德国蒂宾根
机译:云存储服务基准测试:方法和实验2014 IEEE第三届国际云网络会议(CloudNet)