退出
我的积分:
中文文献批量获取
外文文献批量获取
陈江; 陈建国; 陆慧娟; 王康健;
中国计量学院信息工程学院;
统一建模语言; 实时系统; 建模; 形式化验证;
机译:通过UML模型仿真支持嵌入式实时系统的早期验证
机译:集成UML和UPPAAL,以设计,指定和验证基于组件的实时系统
机译:使用UML和值函数的软实时系统设计验证方法
机译:映射UML交互概述图,以时间培养和验证能源限制的嵌入式实时系统的分析和验证
机译:使用遗传算法的基于UML模型的分布式实时系统的流量感知压力测试。
机译:使用UMLS精细语义网络对多类型结构化查看的化学物质进行建模
机译:UML-MARTE安全关键实时系统的时间属性验证框架
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:SPR和专业人员的特征;使用相位多普勒Partikelanalyseger和Auml的Hnebeln; ts和等动力的消旋体,用于评价ma&white; stä feuerbek&auml建模的结构改进;与wassspr&t。作战;内贝尔
机译:在实时系统中管理时间的方法,包括从应用程序到时间管理系统的调用,以在确定的时间处理激活以及列出时间和活动
机译:behä具有集成标准和规范的系统实时系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。