基于形式化方法的混成系统验证

著录项

• 来源
  《软件导刊》 |2018年第4期|39-4144|共4页
• 作者

  唐敏; 吴熊; 李平; 唐晨; 杨国荣;

  展开▼
• 作者单位

  桂林电子科技大学广西密码学与信息安全重点实验室;

  广西桂林541004;

  桂林电子科技大学广西密码学与信息安全重点实验室;

  广西桂林541004;

  桂林电子科技大学广西密码学与信息安全重点实验室;

  广西桂林541004;

  桂林电子科技大学广西密码学与信息安全重点实验室;

  广西桂林541004;

  公安县自强初级中学;

  湖北荆州434300;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 理论、方法;
• 关键词

  形式化方法; 抽象算法; 混成系统; 温控系统;