来源:《电子科技文摘》2001年第03期  作者:
选择字号

数理科学与基础理论

收藏本文  分享

Y2000-62575-232 0105266基于决策图的方法(含3篇文章)=4A:decision dia-gram based methods[会,英]//Proceedings of Design,Automation and Test in Europe Conference 2000.—232~248(ZC)本部分的3篇文章主要研究了利用从二进制决策图(BDD)中导出的结构来检验实时系统中的满意度。开发状态空间或确定临界时间。Y2000-62588 01052672000年 IEEE 第15届计算复杂性会议录=2000 IEEE15th annual conference on computational complexity[会,英]/IEEE Computer Society Technical Committee for(本文共计5页)......[继续阅读本文]

下载阅读本文订阅本刊

图书推荐

    相关文章推荐

    看看这些杂志对你有没有帮助...

    更多杂志>>