位置：成果数据库 > 期刊 > 期刊详情页
Formal Specification and Analysis of Zeroconf using Uppaal
  • 期刊名称：ACM Transactions in Embedded Computing Systems, to
  • 时间：0
  • 页码：131-138
  • 语言：中文
  • 相关项目：基于概率时间自动机的概率时段演算的模型检验及应用研究
作者： and Miaomiao Zhang|J. Berendsen, B. Gebremichael, F.W. Vaandrager|
同期刊论文项目
基于概率时间自动机的概率时段演算的模型检验及应用研究
期刊论文 2 会议论文 9
同项目期刊论文
模糊有限自动机的最小化算法优化