首页> 外文OA文献 >Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams11This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.

【2h】

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams11This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.

机译：使用差异决策图对定时系统进行完全符号模型检查1这项工作是在作者在丹麦技术大学信息技术系期间进行的，并得到了丹麦技术研究理事会的资助。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Møller Jesper; Lichtenberg Jakob; Andersen Henrik R.; Hulgaard Henrik;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
专利

1. Experience from co-operation between the Department of Acoustic Technology, Technical University of Denmark, and Bang and Olufsen A/S, Struer, Denmark [J] . Bech S., Pedersen OJ. Acustica . 1999,第5期

机译：丹麦技术大学声学技术系与丹麦Struer的Bang and Olufsen A / S合作的经验
2. Technical University of Denmark relies on Eirich mixing technology [J] . Betonwerk + Fertigteil-Technik . 2020,第6期

机译：丹麦技术大学依靠Eirich混合技术
3. Recent Studies from Technical University of Denmark Add New Data to Biomedicine and Biotechnology [J] . Energy Business Journal . 2011,第jana3aocta31期

机译：丹麦技术大学的最新研究为生物医学和生物技术添加了新数据
4. Support of students with special needs at the Technical University of Denmark [C] . Friesel Anna, Marner Christina Busk International Conference on Information Technology Based Higher Education and Training . 2014

机译：丹麦技术大学为有特殊需要的学生提供支持
5. Online and Real-Time Transportation Systems Management and Operations Decision Support With Integrated Travel Behavior and Dynamic Network Models [D] . Zhu, Zheng. 2018

机译：在线和实时运输系统管理和运营决策支持，具有集成的旅行行为和动态网络模型
6. Differences Between Primary Care Physicians and Cardiologists in Management of Congestive Heart Failure: Relation to Practice Guidelines 11This work was supported in part by unrestricted grants from Bristol-Myers Squibb Co., Princeton, New Jersey; Burroughs Wellcome Co., Research Triangle Park, North Carolina; Merck Co., West Point, Pennsylvania; and the Department of Veterans Affairs Research Service.22All editorial decisions for this article, including selection of referees, were made by a Guest Editor. This policy applies to all articles with authors from the University of California in San Francisco. [O] . Edep Martin E, Shah Nihir B, Tateo Ida M, 1997

机译：充血性心力衰竭的管理方面，初级保健医师和心脏病专家之间的差异：与实践准则的关系11这项工作部分由新泽西州普林斯顿的百时美施贵宝公司提供的无限制资金支持。北卡罗来纳州三角研究园Burroughs Wellcome公司；宾夕法尼亚州西点市的默克公司；和退伍军人事务研究部。22本文的所有编辑决定，包括裁判的选择，都是由客座编辑做出的。本政策适用于旧金山大学加利福尼亚大学作者发表的所有文章。
7. Summaries of Papers, 1993 (Technical University of Denmark, Department ofStructural Engineering) (Resumeoversigt 1993 (Danmarks Tekniske Universitet, Afdelingen for Baerende Konstruktioner)) [R] . 1994

机译：论文摘要，1993年（丹麦技术大学，结构工程系）（Resumeoversigt 1993（Danmarks Tekniske Universitet，afdelingen for Baerende Konstruktioner））

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams11This work was carried out while the authors were at the Department of Information Technology, Technical University of Denmark, and was finnancially supported by a grant from the Danish Technical Research Council.

著录项

引文网络

相似文献

相关主题

期刊订阅