>"和"<<"等运算符, 定义扩展后 TASM 的语法和语义.采用扩展后的 TASM 为实际的实时嵌入式软件需求建模, 通过实验, 验证了采用扩展后的 TASM 为实时嵌入式软件需"/>
AI 检索
AI 阅读
analysis
趋势分析
编组
开放平台
more
更多
排名必读论文期刊顶会热点AI 简史溯源树小脉星探人才迁徙塔尖人才国防情报追踪开源工具智慧手语
VIPCreated with Sketch.

实时嵌入式软件时间抽象状态机的扩展

Jinhui SHAN,Lu ZHANG,Jinbo WANG,Tao ZHANG

Beijing Da Xue Xue Bao（2019）

引用 3|浏览30
暂无评分
摘要
针对时间抽象状态机(TASM)存在的不足, 对 TASM 进行扩展, 增加数组数据类型、while 循环处理规则以及"%", "&", "|", "^", ">>"和"<<"等运算符, 定义扩展后 TASM 的语法和语义.采用扩展后的 TASM 为实际的实时嵌入式软件需求建模, 通过实验, 验证了采用扩展后的 TASM 为实时嵌入式软件需求建模的有效性.
更多
查看译文
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要