科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:走向基于UML的正式规范的基于组件的实时软件
Vieri Del Bianco; Luigi Lavazza; Marco Mauri; Giuseppe Occorso;
机译:迈向基于UML的基于组件的实时软件的正式规范
机译:基于组件的软件系统的非功能属性的正式规范
机译:通过使用基于UML的正式语言来规范信息系统中的完整性维护操作
机译:迈向基于组件的实时软件的基于UML的形式规范
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:基于UML的软件开发中的可靠性建模和评估
机译:将基于UML的形式规范,验证和验证应用于太空飞行控制系统和防御软件
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:用于软件规范的形式验证辅助装置及其方法
机译:设备正式验证一致性管理软件系统微控制器设计规范
机译:系统和软件功能需求的形式规范装置及其方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。