位置：成果数据库 > 期刊 > 期刊详情页
基于Tecton的验证系统Violet
  • 期刊名称：华东理工大学学报. 31:2(2005), 198-202
  • 时间：0
  • 相关项目：基于概念精化的嵌入式系统的构件开发方法
作者： 翟洁, 邵志清
同期刊论文项目
基于概念精化的嵌入式系统的构件开发方法
期刊论文 25 会议论文 6 获奖 1
同项目期刊论文
泛型程序的多型值构造
同质TCP流的多重分形特性分析
一种杂交算法在Web文档聚类中的
对数无限可分级串框架下的异常网
Detecting?DDoS?Attacks?against
操作语义在类型系统中的一种表示
A MDA-based Approach to Automa
嵌入式系统开发中的设计模式
网页文本中部分关系知识的获取与
Internet流量的多重分形分析
A Robust IP Packets Filtering
基于Java程序的功能点度量
对数无限可分级串框架下的异常网络流量分析
分布式实时嵌入式系统的能耗建模与分析
基于分形插值函数重构的网络流量多尺度结构研究
命令的操作语义在类型系统中的一种表示
嵌入式通信软件开发中的设计模式
基于组件的嵌入式软件开发中的几个关键问题
Detecting DDoS Attacks against Web Server Using Time Series Analysis
A Robust IP Packets Filtering Mechanism for Protecting Web Server from DDoS Attacks
FFT处理机的形式化模型及正确性验证
程序不动点的直观计算意义
使递归算法泛型化
网络入侵检测中的自动决定聚类数算法