Assertions; Specification; State-based; Event-driven; Model-checking; Verification;
机译:基于同步模型的嵌入式控制软件的语义保存设计
机译:断言和否定:UML序列图的模态语义
机译:嵌入式计算会议,2011年8月30日-嵌入式软件的敏捷开发:快速完成软件
机译:OVL与致密时语义声明嵌入式软件的离子检查
机译:用于嵌入式系统软件安全性的集成硬件/软件方法。
机译:主张遗传疾病病因的语义关系
机译:编辑 - 数据输入处的数据清理,用于断言度量标准数据的语义一致性