Model-based development; Model transformation; Correctness by construction; Formal methods; Contract refinement;
机译:医院环境中跨专业实践委员会的发展和实施:踏上旅途的经验和教训
机译:发展历程和沿途学习的经验教训
机译:基于模型的安全评估与Sysml和组件故障树:申请和经验教训
机译:在按构建正确的模型开发过程中获得的经验教训
机译:当地内容开发作为可持续的国家经济战略:从阿曼石油和天然气行业汲取的经验教训
机译:发展历程和沿途学习的经验教训
机译:医院环境中跨专业实践委员会的发展和实施:踏上旅途的经验和教训
机译:漫长的技术飞行示范:一个pI的旅程和经验教训。