位置：成果数据库 > 期刊 > 期刊详情页
Topological Construction of Parameterized Bisimulation Limit
  • ISSN号：1571-0661
  • 期刊名称：Electronic Notes in Theoretical Computer Science
  • 时间：0
  • 页码：55-70
  • 语言：英文
  • 相关项目：基于多维属性的软件可信性度量模型的研究
作者： Min Zhang|Yanfang Ma|
同期刊论文项目
基于多维属性的软件可信性度量模型的研究
期刊论文 16 会议论文 15
同项目期刊论文
跳过程的 μ 不变测度--含吸收态情形
A Duality Theorem for Quantitative Semantics
Another Metric Model for Trustworthiness of Softwares Based on Partition
跳过程的μ不变测度--含单瞬时态情形
Web服务的可信性度量
信息技术当前的研究热点
Measurement of Trust Transitivity in Trustworthy Networks
Multi-random Relation and Its Applications
完全相容稳定模糊谓词转换器
Average Transitive Trustworthy Degrees for Trustworthy Networks
退化数据分析的EM算法
对数稳定分布加速寿命试验的贝叶斯分析
基于环境的软件正确性形式化描述
一种基于软件属性相互影响和重要性的属性权重分配方法
跳过程的μ-不变测度-含单瞬时态情形