状态图到PTL形式规范的转化

著录项

• 来源
  《计算机工程与科学》 |2006年第z2期|122-125|共4页
• 作者

  张鹏飞; 段振华; 田聪;

  展开▼
• 作者单位

  西安电子科技大学计算机学院;

  陕西;

  西安;

  710071;

  西安电子科技大学计算机学院;

  陕西;

  西安;

  710071;

  西安电子科技大学计算机学院;

  陕西;

  西安;

  710071;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 计算技术、计算机技术;
• 关键词

  投影时序逻辑; 状态图; 形式化方法;