期刊文献+

功能强大的微处理器监控电路MAX791 被引量:1

The Global Properties of Valid Formulas in Modal Logic K
下载PDF
导出
摘要 MAX791是MAXIM公司生产的一种功能强大的微处理器监控电路,在微处理器系统中加入该电路可以大大提高系统运行的可靠性。本文对该电路的性能、特点及其在微处理器监控、电源电压监测中的应用做了介绍。
出处 《计算机应用研究》 CSCD 1996年第2期3-4,共2页 Application Research of Computers
关键词 微处理器 监控电路 可靠性 Modal logic system K, global property, tableau method, automated reasoning
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部