南京大学

价格：面议 一种避免行为层组合时行为变体重复编织的处理方法

价格：面议 一种用PVFS替代Hadoop存储模块的方法

价格：面议 一种多触发机制CPS在线建模与检验的方法和装置

价格：面议 一种智能家居物联网系统验证与修复的方法和装置

价格：面议 一种基于IFML的Android开发建模方法

价格：面议 一种基于文档的库函数的代码模型的自动合成方法

价格：面议 一种基于API文档的约束自动生成方法

价格：面议 一种由转换原语生成Spark代码的方法

价格：面议 一种中断驱动系统程序生成和分析方法

价格：面议 一种上下文一致性检测与修复系统及检验方法与平台

价格：面议 一种基于IFML的iOS开发建模方法

价格：面议 一种基于事务的构件在线演化方法