Department of Computer Sciences, Florida Institute of Technology, USA;
Graphical documenation; Service-Oriented Architecture (SOA); software views;
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译:MURPHYS-HSFS-2014:第七届多速率工艺与迟滞国际研讨会(MURPHYS)和第二届迟滞与慢速系统国际研讨会(HSFS)
机译:8 TH SUP>图形文档国际研讨会:基于SOA的系统
机译:基于干涉式SOA的光开关,用于通信网络和采样系统中的全光处理。
机译:第十届莱比锡工作坊系统生物学与临床细胞学结合了第三届国际研讨会基于幻灯片的细胞计数法
机译:具有迭代器的图形Pi-演算的可确定的表征:第12届国际无状态系统验证研讨会(Infinity’10)