搜索筛选:
搜索耗时0.0277秒,为你在为你在61,042,061篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：杨志斌, 胡凯, 赵永望, 马殿富, Jean-Paul B,
来源：软件学报 年份：2004
提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象...
相关搜索：
