搜索到 篇“ 形式化语言 “的相关文章

相关作者

周小波
作品数：8被引量：2H指数：1
供职机构：北京广利核系统工程有限公司
研究主题：传输路径 分析软件 形式化语言 新鲜性 接收者
蒋睿
作品数：34被引量：6H指数：2
供职机构：东南大学
研究主题：端到端 语音加密 语音 手机 移动定位系统
刘玉平
作品数：24被引量：0H指数：0
供职机构：中兴通讯股份有限公司
研究主题：用户 定位控制 测试用例 寻呼 核心网
李晓红
作品数：157被引量：164H指数：7
供职机构：天津大学
研究主题：安全需求 可信计算 软件产品 免疫激活 知识库
沈梦冰
作品数：2被引量：0H指数：0
供职机构：中兴通讯股份有限公司
研究主题：测试用例 形式化语言 电信行业 设计文档 软件模拟