机译:在Object-Z中指定复杂系统:以汽油供应系统为例
Object-Zobject-oriented modelingformal methodssystem specification;
机译:在Object-Z中指定复杂系统:以汽油供应系统为例
机译:在Object-Z中指定复杂系统:以汽油供应系统为例
机译:在对象 - Z中指定复杂系统:汽油供应系统的案例研究
机译:汽油供应系统的对象-Z规范
机译:项目管理与功能管理:以舰队弹道导弹,地面导弹系统和室内武器项目为例的研究及其与海军供应系统的供应支持关系
机译:复杂协作系统中的分布式态势感知:平台供应船上桥梁运营的现场研究
机译:在Object-Z中指定并行和分布式系统:提升案例研究