时段逻辑相关论文
介绍了分布式实时系统设计的一种扩展方法.在转化设计的基础上,支持系统的扩展及系统规范的改变.新的系统需求规范使用轨迹逻辑(Tr......
VHDL是一种广泛使用的硬件描述语言.但长期以来缺乏严格的形式语义.文章介绍并分析了若干具有代表性的VHDL指称语义的研究工作.在......
