机译:嵌入式软件建模的一种形式化转换方法
ReliabilityMeta-ModelFormal modelingFormal transformation rules;
机译:嵌入式软件建模的一种形式化转换方法
机译:嵌入式软件建模的正式转型方法
机译:正式建模和验证分布式实时嵌入式软件的方法
机译:基于组件的嵌入式软件建模和分析的一种形式化方法
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:从正式指南模型开发质量指标和审核协议:知识表示和转换
机译:从领域模型到组件-面向可靠软件开发的正式转换方法
机译:多核嵌入式平台能够正确合成关键任务嵌入式软件的形式化方法