退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于改进和抽象的分布式自适应实时系统的模块化设计与验证
Thomas Göthel; Verena Klös; Björn Bartels;
机译:使用迭代抽象细化验证大型模块化系统
机译:模块化验证分布式系统的编程语言抽象
机译:基于时间Petri网细化的实时系统设计,分析与验证
机译:基于同步的抽象提炼用于异步设计的模块化验证
机译:使用抽象和增量构造的离散事件系统的模块化验证和监督控制器设计。
机译:大型模块化系统的分散式和分布式控制的事件触发自适应体系结构
机译:分布式自适应实时系统的模块化设计与验证
机译:使用基于证明的抽象进行设计验证的方法和系统
机译:用于实时,样式化,分布式仪表板的系统和方法,旨在显示基于KPI的数字信息,通过图形用户界面组件的方式交付其他类型的信息,支持用户反馈
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。