Embedded software; Formal specification; Structured design; Object-oriented design;
机译:核电厂设计数据从规范驱动的电厂设计系统到中性模型数据的集成转换
机译:规范驱动的设计
机译:规范驱动的建筑设计环境
机译:嵌入式系统规范驱动设计
机译:由规范驱动的可编程嵌入式系统验证。
机译:嵌入式控制系统与Scilab的集成设计与实现
机译:规范驱动的设计与埃菲尔铁塔和代理教轻形式方法
机译:用于自适应分布式嵌入式控制系统高可信度设计的框架和工具。分布式嵌入式系统高可信设计的多大学研究计划